Items related to Computer Aided Verification: 38th International Conference,...
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III (Lecture Notes in Computer Science, 16684) - Softcover
Synopsis
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.
The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.
These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.
This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).
"synopsis" may belong to another edition of this title.
Search results for Computer Aided Verification: 38th International Conference,...
Stock Image
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III (Lecture Notes in Computer Science, 16684)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783032325365
Seller Image
Computer Aided Verification
Published by
Springer, Berlin, Springer Nature Switzerland, Springer Sep 2026, 2026
ISBN 10: 3032325366
ISBN 13: 9783032325365
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC). 600 pp. Englisch. Seller Inventory # 9783032325365
Stock Image
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26406746858
Stock Image
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 407488821
Buy New
£ 56.82
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 18406746848
Stock Image
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 2629, 2026, Proceedings, Part III (Lecture Notes in Computer Science, 16684)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 621 pages. 6.14x1.26x9.21 inches. In Stock. Seller Inventory # x-3032325366
Buy New
£ 64.49
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Computer Aided Verification : 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
Published by
Springer, Berlin, Springer Nature Switzerland, Springer, 2026
ISBN 10: 3032325366
ISBN 13: 9783032325365
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC). Seller Inventory # 9783032325365
Seller Image
Computer Aided Verification
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3439035380
Buy New
£ 53.73
£ 41.92 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available