Articles liés à Specification and Verification of Concurrent Systems

Specification and Verification of Concurrent Systems - Couverture souple

Rattray, C.

 
9780387195810: Specification and Verification of Concurrent Systems
Couverture souple
ISBN 10 : 0387195815 ISBN 13 : 9780387195810
Editeur : Springer Verlag, 1990

Synopsis

Book by Rattray C

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

Présentation de l'éditeur

"Papers presented at the Bcs-Facs Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref.

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

Éditeur
Springer Verlag
Date d'édition
1990
Langue
anglais
ISBN 10 
0387195815
ISBN 13 
9780387195810
Reliure
Broché
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