Order Total (1 Item Items):
Shipping Destination:
Verification Model Checking Abstract (292 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (292)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (110)
- Not Print on Demand (225)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Interior clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 12.98
Also find Softcover
-
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Published by Springer Verlag, New York, 2003
ISBN 10: 3540003487 ISBN 13: 9783540003489
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2575. [xi, 323 p. : ill. ; 24 cm].
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 27.99
-
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Published by Springer Verlag, New York City, 2002
ISBN 10: 3540436316 ISBN 13: 9783540436317
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2294.[viii, 330 p. : ill. ; 24 cm].
More buying choices from other sellers on AbeBooks
New offers from US$ 64.27
Used offers from US$ 27.99
-
US$ 25.61
Convert currencyUS$ 8.12 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 33.73
Also find Softcover
-
US$ 41.33
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 43.97
Also find Softcover
-
Verification, Model Checking, And Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Published by Springer Verlag, New York, 2005
ISBN 10: 354024297X ISBN 13: 9783540242970
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover 2005 libray bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3385.[xi, 481 p. : ill. ; 24 cm].
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 51.99
-
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings
Published by Springer Verlag, New York City, 2004
ISBN 10: 3540208038 ISBN 13: 9783540208037
Language: English
Hardcover. Condition: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2937.[xi, 324 p. : ill. ; 24 cm].
More buying choices from other sellers on AbeBooks
New offers from US$ 63.52
Used offers from US$ 54.24
-
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Lecture Notes in Computer Science, 5403)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 42.80
Convert currencyUS$ 14.12 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 56.92
Also find Softcover
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
More buying choices from other sellers on AbeBooks
New offers from US$ 56.97
Used offers from US$ 100.14
Also find Softcover
-
US$ 61.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 144.28
Also find Softcover
-
US$ 61.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 144.28
Also find Softcover
-
US$ 61.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 144.28
Also find Softcover
-
US$ 61.34
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 67.02
Also find Softcover
-
US$ 60.00
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 68.46
Also find Softcover
-
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 120.85
Also find Softcover
-
US$ 60.29
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 66.60
Used offers from US$ 101.31
Also find Softcover
-
US$ 69.54
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
More buying choices from other sellers on AbeBooks
New offers from US$ 96.03
Used offers from US$ 72.18
Also find Softcover First Edition
-
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 62.36
Convert currencyUS$ 15.90 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 81.36
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 85.35
Used offers from US$ 97.35
Also find Softcover
-
Condition: very_good. This book is in Very Good condition. The cover and pages have minor shelf wear. Binding is tight and pages are intact.
More buying choices from other sellers on AbeBooks
New offers from US$ 110.83
Used offers from US$ 85.65
Also find Softcover
-
US$ 83.45
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
More buying choices from other sellers on AbeBooks
New offers from US$ 96.03
Used offers from US$ 86.09
Also find Softcover First Edition
-
Verification, Model Checking, and Abstract Interpretation (Paperback)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031827023 ISBN 13: 9783031827020
Language: English
Paperback. Condition: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Verification, Model Checking, and Abstract Interpretation (Paperback)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 303182699X ISBN 13: 9783031826993
Language: English
Paperback. Condition: new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 96.21
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 90.79
Convert currencyUS$ 15.90 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 106.55
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
