Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 13th International Conference on Verification,...
Full description
Libristo code: 01660462
?
148 b
148 b
60.49
€
VAT included
Low in stock at our supplier
Shipping in 9-15 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
33.59
€
/
Paperback
14.19
€
/
Paperback
15.29
€
/
Paperback
52.95
€
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Verification, Model Checking, and Abstract Interpretation
Author
Viktor Kuncak, Andrey Rybalchenko
Language
English
English
Binding
Book - Paperback
Date of issue
2012
Number of pages
457
EAN
9783642279393
ISBN
3642279392
Libristo code
01660462
Weight
709
Dimensions
155 x 235 x 28
Categories
Computing & Information Technology
>
Computer programming / software engineering
>
Algorithms & data structures
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
22.89
€
/
Paperback
32.09
€
