Order Total (1 Item Items):
Shipping Destination:
Automated Technology Verification Analysis (313 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (313)
- 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 Learn more
- New (269)
- As New, Fine or Near Fine (36)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (313)
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 (130)
- Not Print on Demand (235)
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. Text block clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.98
Used offers from US$ 46.37
Also find Softcover
-
Paperback. 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 US$ 64.27
Used offers from US$ 49.81
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from US$ 59.20
Used offers from US$ 54.73
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
More buying choices from other sellers on AbeBooks
New offers from US$ 62.96
Used offers from US$ 56.05
Also find Softcover
-
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Ja
US$ 4.51
Convert currencyUS$ 52.58 shipping from Germany to U.S.A.Quantity: 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 US$ 64.28
Used offers from US$ 57.09
Also find Softcover
-
Paperback. 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 US$ 120.89
Used offers from US$ 60.76
Also find Softcover
-
US$ 60.32
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$ 62.96
Used offers from US$ 212.23
Also find Softcover
-
US$ 60.32
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$ 62.96
Used offers from US$ 72.41
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 62.97
Used offers from US$ 159.37
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 62.97
Used offers from US$ 104.06
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 62.97
Used offers from US$ 212.23
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$ 72.41
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$ 72.41
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$ 99.95
Also find Softcover
-
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 124.35
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$ 103.35
Also find Softcover
-
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 5 out of 5 stars
paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 97.62
Used offers from US$ 71.12
Also find Softcover
-
US$ 90.02
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$ 92.66
Used offers from US$ 105.82
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from US$ 92.67
Used offers from US$ 116.36
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
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
US$ 20.34
Convert currencyUS$ 87.64 shipping from Germany to U.S.A.Quantity: 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 (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 multiple locations in the US or from the UK, depending on stock availability.
-
Condition: New. SUPER FAST SHIPPING.
