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
non disponible

Autres éditions populaires du même titre

9783540195818: Specification and Verification of Concurrent Systems (Workshops in Computing)

Edition présentée

ISBN 10 :  3540195815 ISBN 13 :  9783540195818
Editeur : Springer, 1990
Couverture souple