Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science - Kenneth Mcmillan - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642540127 - January 22, 2014
In case cover and title do not match, the title is correct

Kenneth Mcmillan
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Price
Íkr 6,889
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 5 - 13
Get notified about new Kenneth Mcmillan releases

Our customers say:

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

Not rated yet

The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

511 pages, 120 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 22, 2014
ISBN13 9783642540127
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 493
Dimensions 155 × 235 × 26 mm   ·   707 g
Language French  
Editor McMillan, Kenneth
Editor Rival, Xavier

More from the same publisher

See all of Kenneth Mcmillan ( e.g. Hardcover Book and Paperback Book )