Verifikation, Modellprüfung und abstrakte Interpretation: 5. Internationale...
78,33 €
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, Paperback by Steffen, Bernhard (EDT); Levi, Giorgio (EDT), ISBN 3540208038, ISBN-13 9783540208037, Brand New, Free shipping in the US Israel) called On the Expressive Power of Canonical Abstraction,and –(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.
Jetzt bei Ebay:
