Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Theoretical Computer Science and General Issues - E a Emerson - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540311393 - December 19, 2005
In case cover and title do not match, the title is correct

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Theoretical Computer Science and General Issues 2006 edition

E a Emerson

Price
£ 48.99
excl. VAT

Ordered from remote warehouse

Expected delivery May 23 - Jun 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Theoretical Computer Science and General Issues 2006 edition

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

443 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 19, 2005
ISBN13 9783540311393
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 443
Dimensions 155 × 235 × 23 mm   ·   639 g
Language German  
Editor Emerson, E. Allen
Editor Namjoshi, Kedar S.

See all of E a Emerson ( e.g. Paperback Book )