Articles liés à Compositionality, Concurrency, and Partial Correctness:...

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship - Couverture souple

Zwiers, Job

 
9780387508450: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship
Couverture souple
ISBN 10 : 0387508457 ISBN 13 : 9780387508450
Editeur : Springer Verlag, 1989

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Compositionality, Concurrency, and Partial Correctness The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two important yardsticks for verification methods, those of compositionality and modularity, are made pr... Full description

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1989
Langue
anglais
ISBN 10 
0387508457
ISBN 13 
9780387508450
Reliure
Broché
Nombre de pages
392
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783540508458: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Edition présentée

ISBN 10 :  3540508457 ISBN 13 :  9783540508458
Editeur : Springer, 2008
Couverture souple