Skip to main content Skip to footer content

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

Étienne Andr Edited by Jun Sun

Oct 19, 2023

$109.50

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 548 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

330

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031453311

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Sch Paperback
$160.95
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Paperback
$102.50
2 formats available
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Paperback
$80.50
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

Zhe Hou Paperback
$124.50
2 formats available
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Paperback
$80.50
2 formats available
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Paperback
$80.50
Dependable Software Engineering. Theories, Tools, And Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, Proceedings

Jun Pang Paperback
$80.50
2 formats available
Search-based Software Engineering: 12th International Symposium, Ssbse 2020, Bari, Italy, October 7-8, 2020, Proceedings

Aldeida Aleti Paperback
$124.50
2 formats available
New Opportunities For Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Rafael Capilla Paperback
$202.95
2 formats available
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$58.50
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$109.50
2 formats available
Dependable Software Engineering. Theories, Tools, And Applications: 7th International Symposium, Setta 2021, Beijing, China, November 25-27, 2021, Proceedings

Shengchao Qin Paperback
$124.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
Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings

Sridutt Bhalachandra Paperback
$80.50
2 formats available
System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Ferhat Khendek Paperback
$80.50
2 formats available
Software Engineering And Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings

Radu Calinescu Paperback
$131.50
2 formats available
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Paperback
$80.50
Automated Technology For Verification And Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Dang Van Hung Paperback
$80.50
2 formats available
Objects, Components, Models, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

Judith Bishop Paperback
$80.50

Editorial reviews

jun sun

Author

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Paperback
$124.50
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings

Jolita Ralyt Paperback
$80.50
2 formats available
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II

Nico Piatkowski Paperback
$97.76
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
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 II

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 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
Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part II

Xin Wang Paperback
$175.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
Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$109.50
2 formats available
Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part III

Xin Wang Paperback
$175.50
2 formats available
Algorithms and Architectures for Parallel Processing: 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VI

Zahir Tari Paperback
$116.95
2 formats available
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Alicia Villanueva Paperback
$87.95
2 formats available
Advanced Information Systems Engineering: 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

Giancarlo Guizzardi Paperback
$124.50
2 formats available
Advances in Intelligent Data Analysis XXII: 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Panagiotis Papapetrou Paperback
$97.76
2 formats available
Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part IV

Xin Wang Paperback
$175.50
2 formats available
Advanced Hybrid Information Processing: 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II

Paperback
$168.95
2 formats available