Francesco Logozzo
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues Francesco Logozzo 2008 edition

Name: Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues
Price: 54.99 USD
Availability: OutOfStock
Author: Francesco Logozzo

Price

$ 54.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 16 - 22

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues

Francesco Logozzo

2008 edition

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

325 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	February 26, 2008
ISBN13	9783540781622
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	325
Dimensions	155 × 235 × 18 mm · 480 g
Language	French
Editor	Logozzo, Francesco
Editor	Peled, Doron A.
Editor	Zuck, Leonore D.