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

Godefroid, Patrice

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

Esta edición ISBN ya no está disponible.

Editorial
Springer Nature
Año de publicación
1996
Idioma
Inglés
ISBN 10 
0387607617
ISBN 13 
9780387607610
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3662181525 ISBN 13:  9783662181522
Editorial: Springer, 2014
Tapa blanda