Skip to main content Skip to footer content

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

Constantin Enea Edited by Akash Lal

Jul 17, 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

502

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031377082

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

Constantin Enea 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
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: 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
Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Frank Dehne Paperback
$80.50
Advanced Computer Science and Information Technology: Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

Tai-hoon Kim Paperback
$80.50
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Andrew Pitts Paperback
$80.50
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
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
WALCOM: Algorithms and Computation: 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings

Gautam K. Das Paperback
$80.50
2 formats available
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Jos Abdelnour Nocera Paperback
$145.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
Haptics: Science, Technology, and Applications: 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

Domenico Prattichizzo Paperback
$80.50
2 formats available
Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings

Filip Murlak Paperback
$80.50
Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Evripidis Bampis Paperback
$80.50
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Leen Lambers Paperback
$72.95
2 formats available
Algorithms and Architectures for Parallel Processing: 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Jaideep Vaidya Paperback
$80.50
2 formats available

Editorial reviews

akash lal

Author

Database and Expert Systems Applications: 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings, Part II

Christine Strauß Paperback
$175.50
2 formats available
Database and Expert Systems Applications: 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings, Part I

Christine Strauß Paperback
$145.95
2 formats available
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea Paperback
$72.95
2 formats available
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Paperback
$72.95
2 formats available
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Arie Gurfinkel 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
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh 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: 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
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II

Marc Sevaux 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 II

Frank NIELSEN Paperback
$145.95
2 formats available
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I

Marc Sevaux Paperback
$109.50
2 formats available
Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part II

Gernot A. Fink Paperback
$233.95
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
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

Christine Strauß Paperback
$109.50
2 formats available
Document Analysis and Recognition - ICDAR 2023: 17th International Conference, San Jose, CA, USA, August 21-26, 2023, Proceedings, Part III

Gernot A. Fink Paperback
$233.95
2 formats available
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 26th Iberoamerican Congress, CIARP 2023, Coimbra, Portugal, November 27-30, 2023, Proceedings, Part II

Verónica Vasconcelos Paperback
$175.50
2 formats available
Implementation and Application of Automata: 26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings

Pascal Caron Paperback
$102.50
2 formats available
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I

Christine Strauß Paperback
$94.95
2 formats available
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