Order Total (1 Item Items):
Shipping Destination:
Automated Technology Verification Analysis (298 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (298)
- 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
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (298)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (128)
- Not Print on Demand (223)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja
£ 3.24
Convert currency£ 2.55 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 5.79
Also find Softcover
-
Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
Published by Berlin, Springer, 2006
Language: English
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
£ 15.44
Convert currency£ 9.37 shipping from Germany to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Wie neu. XIV, 540 S. : Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 920.
-
Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Published by Springer International Publishing, 2013
ISBN 10: 3319024434 ISBN 13: 9783319024431
Language: English
£ 31.06
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 544 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 38.64
Also find Softcover
-
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Published by Springer Berlin Heidelberg, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
Language: English
£ 33.30
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 428 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 40.88
Also find Softcover
-
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Language: English
£ 33.30
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 448 | Sprache: Englisch | Produktart: Sonstiges.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 40.88
Also find Softcover
-
Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642243711 ISBN 13: 9783642243714
Language: English
£ 33.77
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 532 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.77
Used offers from £ 41.35
Also find Softcover
-
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part II
Published by Springer Nature Switzerland, 2023
ISBN 10: 303145331X ISBN 13: 9783031453311
Language: English
£ 36.78
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Hervorragend. Zustand: Hervorragend | Seiten: 348 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 66.42
Used offers from £ 44.36
Also find Softcover
-
£ 37.64
Convert currency£ 12.02 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.8.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 49.66
Also find Softcover
-
Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 51.14
Also find Softcover
-
Automated Technology for Verification and Analysis : 12th International Symposium, Atva 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.42
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.42
Used offers from £ 96.99
Also find Softcover
-
Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
-
Automated Technology for Verification And Analysis : Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 84.80
Also find Softcover
-
Automated Technology for Verification and Analysis : 13th International Symposium, Atva 2015, Shanghai, China, October 12-15, 2015, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 133.99
Also find Softcover
-
Automated Technology for Verification and Analysis : 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017 - Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
-
Automated Technology for Verification and Analysis : 14th International Symposium, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 133.99
Also find Softcover
-
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28â"31, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 55.70
Also find Softcover
-
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642156428 ISBN 13: 9783642156427
Language: English
£ 47.07
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 404 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 74.30
Used offers from £ 54.65
Also find Softcover
-
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030010899 ISBN 13: 9783030010898
Language: English
£ 46.91
Convert currency£ 11.91 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
-
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24â"27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
£ 50.88
Convert currency£ 10.64 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from £ 71.62
Used offers from £ 61.52
Also find Softcover
-
PF. Condition: New.
-
Automated Technology for Verification and Analysis : 19th International Symposium, Atva 2021, Gold Coast, Qld, Australia, October 18-22, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 71.31
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 71.31
Used offers from £ 77.90
Also find Softcover
-
£ 40.64
Convert currency£ 55.03 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from £ 97.62
Used offers from £ 95.67
Also find Softcover
-
Automated Technology for Verification and Analysis (Paperback)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031787080 ISBN 13: 9783031787089
Language: English
Paperback. Condition: new. Paperback. The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Automated Technology for Verification and Analysis (Paperback)
Published by Springer International Publishing AG, Cham, 2025
ISBN 10: 3031787498 ISBN 13: 9783031787492
Language: English
Paperback. Condition: new. Paperback. The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
