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

Zwiers, Job

 
9783662183823: Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
Couverture souple
ISBN 10 : 366218382X ISBN 13 : 9783662183823
Editeur : Springer, 2014

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

Synopsis

The languages DNP and TNP.- The semantics for TNP.- Correctness formulae.- Proof systems for TNP.- Completeness.- The Hoare and Invariant systems.

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

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
366218382X
ISBN 13 
9783662183823
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

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