Neil D Jones
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues Neil D Jones 2008 edition

Name: Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues
Price: 54.49 USD
Availability: OutOfStock
Author: Neil D Jones

Price

$ 54.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

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: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues

Neil D Jones

2008 edition

Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation.

396 pages, 1, black & white illustrations

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 18, 2008
ISBN13	9783540938996
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	381
Dimensions	155 × 235 × 20 mm · 589 g
Language	French
Editor	Jones, Neil
Editor	Muller-Olm, Markus