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 - Tapa blanda

 
9783662181522: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Tapa blanda
ISBN 10: 3662181525 ISBN 13: 9783662181522
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification of safety properties.- Model checking.- Experiments.- Conclusions.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2014
  • ISBN 10 3662181525
  • ISBN 13 9783662181522
  • EncuadernaciónPaperback
  • 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