Artículos relacionados a Partial-Order Methods for the Verification of Concurrent...

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.

  • EditorialSpringer Nature
  • Año de publicación1996
  • ISBN 10 0387607617
  • ISBN 13 9780387607610
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3540607617 ISBN 13:  9783540607618
Editorial: Springer, 2009
Tapa blanda