Skip to main content Skip to footer content

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Edited by Akash Lal

Jul 18, 2023

$72.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 365 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

460

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031377020

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Paperback
$72.95
2 formats available
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Shuvendu K. Lahiri Paperback
$65.95
2 formats available
Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Shuvendu K. Lahiri Paperback
$65.95
2 formats available
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part Ii

Alexandra Silva Paperback
$72.95
2 formats available
Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Ying Tan Paperback
$80.50
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

Dominik Åläzak Paperback
$80.50
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Constantin Enea Paperback
$72.95
2 formats available
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

Sharon Shoham Paperback
$72.95
2 formats available
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

Sharon Shoham Paperback
$72.95
2 formats available
Human-Computer Interaction. Technological Innovation: Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Masaaki Kurosu Paperback
$160.95
2 formats available
SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings

Alexander Chatzigeorgiou Paperback
$80.50
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part II

Zahir Tari Paperback
$116.95
2 formats available
Algorithms And Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings

Tiziana Calamoneri Paperback
$124.50
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part I

Zahir Tari Paperback
$116.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part III

Zahir Tari Paperback
$116.95
2 formats available
Cooperative Design, Visualization, And Engineering: 18th International Conference, Cdve 2021, Virtual Event, October 24-27, 2021, Proceedings

Yuhua Luo Paperback
$124.50
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V

Zahir Tari Paperback
$189.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV

Zahir Tari Paperback
$116.95
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VII

Zahir Tari Paperback
$109.50
2 formats available
Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Paul G. Spirakis Paperback
$80.50

Editorial reviews

akash lal

Author

Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea Paperback
$72.95
2 formats available
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Constantin Enea Paperback
$72.95
2 formats available
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II

Elette Boyle Paperback
$116.95
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV

Elette Boyle Paperback
$116.95
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III

Elette Boyle Paperback
$116.95
Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Paperback
$80.50
2 formats available
Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I

Elette Boyle Paperback
$116.95
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Paperback
$80.50
2 formats available
Geometric Science of Information: 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part II

Frank NIELSEN Paperback
$145.95
2 formats available
Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Maryam Lotfian Paperback
$72.95
Generative Intelligence and Intelligent Tutoring Systems: 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part II

Angelo Sifaleras Paperback
$109.50
2 formats available
Geometric Science of Information: 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I

Frank NIELSEN Paperback
$131.50
2 formats available
Generative Intelligence and Intelligent Tutoring Systems: 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part I

Angelo Sifaleras Paperback
$116.95
2 formats available
Natural Language Processing and Information Systems: 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part II

Amon Rapp Paperback
$109.50
2 formats available
Data Warehousing and Knowledge Discovery: First International Conference, DaWaK'99 Florence, Italy, August 30 - September 1, 1999 Proceedings

Mukesh Mohania Paperback
$80.50
Generative Intelligence and Intelligent Tutoring Systems: 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part II

Angelo Sifaleras Paperback
$72.95
Natural Language Processing and Information Systems: 29th International Conference on Applications of Natural Language to Information Systems, NLDB 2024, Turin, Italy, June 25-27, 2024, Proceedings, Part I

Amon Rapp Paperback
$131.50
2 formats available
Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Maryam Lotfian Paperback
$189.95
2 formats available
Generative Intelligence and Intelligent Tutoring Systems: 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part I

Angelo Sifaleras Paperback
$72.95
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Paperback
$124.50
2 formats available