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

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

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662181525
ISBN 13 
9783662181522
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  0387607617 ISBN 13 :  9780387607610
Editeur : Springer Nature, 1996
Couverture souple