Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science) - Softcover

Godefroid, Patrice

 
9780387607610: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387607617 ISBN 13: 9780387607610
Verlag: Springer Nature, 1996

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Verlag
Springer Nature
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0387607617
ISBN 13 
9780387607610
Einband
Tapa blanda
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

9783662181522: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Vorgestellte Ausgabe

ISBN 10:  3662181525 ISBN 13:  9783662181522
Verlag: Springer, 2014
Softcover