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
US$ 4.39
Convert currencyUS$ 10.36 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$ 14.75
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
US$ 20.87
Convert currencyUS$ 23.02 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.
-
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$ 47.38
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$ 63.99
Used offers from US$ 55.74
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$ 64.27
Used offers from US$ 57.06
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$ 61.77
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$ 75.02
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$ 211.77
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$ 75.02
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$ 93.80
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$ 211.77
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$ 159.02
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$ 75.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$ 97.46
Also find Softcover
-
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 115.44
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$ 96.81
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 4 out of 5 stars
paperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from US$ 108.00
Used offers from US$ 71.31
Also find Softcover
-
US$ 91.91
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$ 94.55
Used offers from US$ 105.06
Also find Softcover
-
US$ 91.03
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
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
US$ 49.72
Convert currencyUS$ 51.80 shipping from Germany to U.S.A.Quantity: 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 US$ 103.00
Used offers from US$ 101.52
Also find Softcover
-
Condition: New.
-
Condition: New.
