Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings - Couverture souple

De Bakker, J. W.; De Roever, W. P.

 
9780387525594: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings
Couverture souple
ISBN 10 : 0387525599 ISBN 13 : 9780387525594
Editeur : Springer Verlag, 1990

Synopsis

Stepwise Refinement of Distributed Systems This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.

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

Éditeur
Springer Verlag
Date d'édition
1990
Langue
anglais
ISBN 10 
0387525599
ISBN 13 
9780387525594
Reliure
Broché
Éditeur
Rozenberg G.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible