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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662181525
ISBN 13 
9783662181522
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0387607617 ISBN 13:  9780387607610
Casa editrice: Springer Nature, 1996
Brossura