Stock photo: cover may vary
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings Paperback - 2015
by Deepak D'Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor)
Add to wish list
Reader reviews for Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
Details
- Title Verification, Model Checking, and Abstract Interpretation: 16th International Conference, Vmcai 2015, Mumbai, India, January 12-14, 2015, Proceedings
- Author Deepak D'Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor)
- Binding Paperback
- Pages 468
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date 2015-01-07
- Illustrated Yes
- Features Illustrated
- ISBN 9783662460801 / 3662460807
- Weight 1.49 lbs (0.68 kg)
- Dimensions 9.21 x 6.14 x 0.98 in (23.39 x 15.60 x 2.49 cm)
-
Themes
- Aspects (Academic): Science/Technology Aspects
- Category Computers - General Information
- Dewey Decimal Code 004.015
More Copies for Sale
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783662460801 / 3662460807
- Quantity available
- 860
- Seller
- Item price
-
A$105.37A$15.60 Delivery to USA
Show details
Add to wish list
Item price
A$105.37
A$15.60
Delivery to USA
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
by Deepak D'Souza
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783662460801 / 3662460807
- Quantity available
- 10
- Seller
- Item price
-
A$117.01A$19.43 Delivery to USA
Show details
Add to wish list
Item price
A$117.01
A$19.43
Delivery to USA
Stock photo: cover may vary
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
by Deepak D'Souza
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783662460801 / 3662460807
- Quantity available
- 5
- Seller
- Item price
-
A$91.99A$5.82 Delivery to USA
Show details
Add to wish list
Item price
A$91.99
A$5.82
Delivery to USA
Stock photo: cover may vary
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
by Deepak D'Souza
- Used
- Condition
- New
- ISBN 10 / ISBN 13
- 9783662460801 / 3662460807
- Quantity available
- 5
- Seller
- Item price
-
A$91.99A$5.82 Delivery to USA
Show details
Add to wish list
Item price
A$91.99
A$5.82
Delivery to USA
Stock photo: cover may vary
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by D'Souza, Deepak (Editor) / Lal, Akash (Editor) / Larsen, Kim Guldstrand (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783662460801 / 3662460807
- Quantity available
- 2
- Seller
- Item price
-
A$134.17A$29.29 Delivery to USA
Show details
Add to wish list
Item price
A$134.17
A$29.29
Delivery to USA
