Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) - Softcover

 
9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387112057 ISBN 13: 9780387112053

Inhaltsangabe

1982 208 Seiten Taschenbuch Springer-Verlag,

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

Sprache
Englisch
ISBN 10 
0387112057
ISBN 13 
9780387112053
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540112051: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

Vorgestellte Ausgabe

ISBN 10:  3540112057 ISBN 13:  9783540112051
Verlag: Springer, 2008
Softcover