Compositional Verification of Concurrent and Real-Time Systems - Tapa blanda

Juan, Eric Y.T.; Tsai, Jeffrey J.P.

 
9781461510109: Compositional Verification of Concurrent and Real-Time Systems
Tapa blanda
ISBN 10: 1461510104 ISBN 13: 9781461510109
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Sinopsis

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.

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

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
1461510104
ISBN 13 
9781461510109
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9781402070259: Compositional Verification of Concurrent and Real-Time Systems: 676 (The Springer International Series in Engineering and Computer Science)

Edición Destacada

ISBN 10:  140207025X ISBN 13:  9781402070259
Editorial: Springer, 2002
Tapa dura