Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Israel) called On the Expressive Power of Canonical Abstraction,and -atutorialbyJoshuaD.Guttman(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.
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Steffen, Bernhard (Hrsg.)
- ISBN: 978-3-540-20803-7
- EAN: 9783540208037
- Produktnummer: 8328514
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 344 S.
- Masse: H23.5 cm x B15.5 cm x D1.8 cm 522 g
- Auflage: 2004
- Abbildungen: Paperback
- Gewicht: 522
9 weitere Werke von Giorgio (Hrsg.) Levi:
Static Analysis
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
Ebook (PDF Format)
CHF 100.00
Bewertungen
Anmelden