Skip to main content Skip to footer content

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Vijay Ganesh , Arie Gurfinkel Edited by Arie Gurfinkel

Jul 26, 2024

$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

498

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031656262

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: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Paperback
$72.95
2 formats available
Advances in Swarm Intelligence, Part I: Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I

Ying Tan Paperback
$160.95
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 Swarm Intelligence: 7th International Conference, Icsi 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part Ii

Ying Tan Paperback
$80.50
2 formats available
Top Productivity through Software Reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Klaus Schmid 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
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings

Yamine Aït-Ameur Paperback
$145.95
2 formats available
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

Sihem Ben Sassi Paperback
$80.50
2 formats available
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$109.50
2 formats available
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers

Zheng Li Paperback
$80.50
2 formats available
High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22-25, 2020, Proceedings

Ponnuswamy Sadayappan Paperback
$131.50
2 formats available
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$58.50
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Paperback
$80.50
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva 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
Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Frank Dehne Paperback
$80.50
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Paperback
$109.50
2 formats available
Formal Aspects Of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Sala Paperback
$72.95
2 formats available
Requirements Engineering in the Big Data Era: Second Asia Pacific Symposium, Apres 2015, Wuhan, China, October 18-20, 2015, Proceedings

Lin Liu Paperback
$80.50

Editorial reviews

arie gurfinkel

Author

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: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Vijay Ganesh Paperback
$72.95
2 formats available
Algorithms and Data Structures: 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Subhash Suri Paperback
$175.50
2 formats available
Biometric Authentication: First International Conference, Icba 2004, Hong Kong, China, July 15-17, 2004, Proceedings

David Y. Zhang Paperback
$160.95
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Paperback
$58.50
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: 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
Algorithmic Aspects in Information and Management: 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I

Smita Ghosh Paperback
$94.95
2 formats available
Data Warehousing and Knowledge Discovery: 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings

Yahiko Kambayashi Paperback
$80.50
Algorithmic Aspects in Information and Management: 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Smita Ghosh Paperback
$94.95
2 formats available
Integer Programming And Combinatorial Optimization: 22nd International Conference, Ipco 2021, Atlanta, Ga, Usa, May 19-21, 2021, Proceedings

Mohit Singh Paperback
$80.50
2 formats available
Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings

Gagandeep Singh Paperback
$116.95
2 formats available
Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part II

Shweta Agrawal Paperback
$160.95
2 formats available
Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part III

Shweta Agrawal Paperback
$175.50
2 formats available
Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part IV

Shweta Agrawal Paperback
$160.95
2 formats available
Algorithms and Discrete Applied Mathematics: 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Subrahmanyam Kalyanasundaram Paperback
$109.50
2 formats available
Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part I

Shweta Agrawal Paperback
$189.95
2 formats available
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Nathaniel Benz Paperback
$72.95
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
Search-Based Software Engineering: 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Gunel Jahangirova Paperback
$72.95