9781461510109: Compositional Verification of Concurrent and Real-Time Systems
Brossura
ISBN 10: 1461510104 ISBN 13: 9781461510109
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

List of Figures. List of Tables. Preface. Acknowledgments. 1. Introduction. 2. Verification Techniques for Concurrent Systems. 3. Multiset Labeled Transition Systems. 4. Compositional Verification Using MLTS. 5. Compositional Verification Using Petri Nets. 6. Tools and Experiments. 7. Delay time Petri Nets and Net Reduction. References. Index.

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

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
1461510104
ISBN 13 
9781461510109
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

9781402070259: Compositional Verification of Concurrent and Real-Time Systems: 676

Edizione in evidenza

ISBN 10:  140207025X ISBN 13:  9781402070259
Casa editrice: Kluwer Academic Pub, 2002
Rilegato