Order Total (1 Item Items):
Shipping Destination:
Computer Aided Verification 36th (29 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (29)
- 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 (26)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (1)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (29)
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 (6)
- Not Print on Demand (21)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2024.
-
-
Condition: As New. Unread book in perfect condition.
-
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.56
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.56
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.56
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computer Aided Verification : 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Computer Aided Verification : 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24?27, 2024, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Condition: New. 2024th edition NO-PA16APR2015-KAP.
-
Condition: New. 2024th edition NO-PA16APR2015-KAP.
-
Condition: New. 2024th edition NO-PA16APR2015-KAP.
-
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031656296 ISBN 13: 9783031656293
Paperback. Condition: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.
-
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031656261 ISBN 13: 9783031656262
Paperback. Condition: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.
-
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031656326 ISBN 13: 9783031656323
Paperback. Condition: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock.
-
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24ż27, 2024, Proceedings, Part II
Language: English
Published by Springer Nature Switzerland, 2024
ISBN 10: 3031656296 ISBN 13: 9783031656293
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 3-volume set constitutes the proceedings of the36th International Conference on Computer-Aided Verification, CAV 2024, which took place inMontreal, Canada, during July 24-27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
-
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24ż27, 2024, Proceedings, Part I
Language: English
Published by Springer Nature Switzerland, 2024
ISBN 10: 3031656261 ISBN 13: 9783031656262
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 3-volume set constitutes the proceedings of the36th International Conference on Computer-Aided Verification, CAV 2024, which took place inMontreal, Canada, during July 24-27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
-
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24ż27, 2024, Proceedings, Part III
Language: English
Published by Springer Nature Switzerland, 2024
ISBN 10: 3031656326 ISBN 13: 9783031656323
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the36th International Conference on Computer-Aided Verification, CAV 2024, which took place inMontreal, Canada, during July 24-27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
-
Taschenbuch. Condition: Neu. Computer Aided Verification | 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiii | Englisch | 2024 | Springer | EAN 9783031656262 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Computer Aided Verification | 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxv | Englisch | 2024 | Springer | EAN 9783031656323 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Computer Aided Verification | 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II | Arie Gurfinkel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxv | Englisch | 2024 | Springer | EAN 9783031656293 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031656261 ISBN 13: 9783031656262
Paperback. Condition: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand.
-
Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 2427, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031656296 ISBN 13: 9783031656293
Paperback. Condition: Brand New. 500 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand.
-
Condition: New. Print on Demand.
-
Condition: New. Print on Demand.
-
Condition: New. Print on Demand.
-
Condition: New. PRINT ON DEMAND.
-
Condition: New. PRINT ON DEMAND.
-
Condition: New. PRINT ON DEMAND.
