Verification, Model Checking, and Abstract Interpretation - Tapa blanda

 
9783540847540: Verification, Model Checking, and Abstract Interpretation

Esta edición ISBN ya no está disponible.

Otras ediciones populares con el mismo título

9783540781622: Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings: 4905 (Lecture Notes in Computer Science, 4905)

Edición Destacada

ISBN 10:  3540781625 ISBN 13:  9783540781622
Editorial: Springer, 2008
Tapa blanda