Logozzo Francesco Editor (2 results)

Author:

Refine with Advanced Search

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, Vmcai 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Logozzo, Francesco (Editor)/ Peled, Doron A. (Editor)/ Zuck, Lenore D. (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2008
3540781625 / 9783540781622
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 66.61
£ 10.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 325 pages. 9.25x6.25x0.75 inches. In Stock.
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Logozzo, Francesco (Editor) / Fähndrich, Manuel (Editor)
Language: English
Published by Springer, 2013
3642388558 / 9783642388552
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 68.79
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 2013 edition. 496 pages. 9.25x6.10x1.16 inches. In Stock.