Real-Time: Theory in Practice : Rex Workshop Mook, the Netherlands, June 1991 Proceedings - Couverture souple

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

 
9780387555645: Real-Time: Theory in Practice : Rex Workshop Mook, the Netherlands, June 1991 Proceedings
Couverture souple
ISBN 10 : 0387555641 ISBN 13 : 9780387555645
Editeur : Springer Verlag, 1992

Synopsis

Real-Time - Theory in Practice This volume contains the proceedings of a workshop dedicated to the theory of real-time and the established research areas in formal methods, such as process algebra, temporal logic, and model checking. It aims to show what is going on in the field worldwide. 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
1992
Langue
anglais
ISBN 10 
0387555641
ISBN 13 
9780387555645
Reliure
Broché
Éditeur
Rozenberg G.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540555643: Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Edition présentée

ISBN 10 :  3540555641 ISBN 13 :  9783540555643
Editeur : Springer, 2008
Couverture souple