Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science - Roberto Giacobazzi - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642358722 - January 7, 2013
In case cover and title do not match, the title is correct

Roberto Giacobazzi
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science 2013 edition

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

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

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.

556 pages, 123 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 7, 2013
ISBN13 9783642358722
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 556
Dimensions 155 × 235 × 29 mm   ·   789 g
Language German  
Editor Berdine, Josh
Editor Giacobazzi, Roberto
Editor Mastroeni, Isabella

More by Roberto Giacobazzi

Show all

Mere med samme udgiver

See all of Roberto Giacobazzi ( e.g. Paperback Book )