Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) - Softcover

Koymans, Ron

 
9780387562834: Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387562834 ISBN 13: 9780387562834
Verlag: Springer Verlag, 1992

Inhaltsangabe

1992 22,9 x 15,2 x 1,3 cm, Taschenbuch Springer-Verlag,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0387562834
ISBN 13 
9780387562834
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783540562832: Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)

Vorgestellte Ausgabe

ISBN 10:  3540562834 ISBN 13:  9783540562832
Verlag: Springer, 2008
Softcover