Le livre est actuellement en rupture de stock
Paramètres
- 370pages
- 13 heures de lecture
En savoir plus sur le livre
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
Achat du livre
On a method of multiprogramming, Wim H. J. Feijen
- Langue
- Année de publication
- 1999
- Reliure
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- On a method of multiprogramming
- Langue
- Anglais
- Auteurs
- Wim H. J. Feijen
- Éditeur
- Springer
- Publié
- 1999
- Format
- rigide
- Pages
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Séries
- Mots clés
- États-Unis, Développement, Systèmes d'exploitation, Algorithmes, Sémantique
- Description
- Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.