Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Name: Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings
Price: 145.95 CAD
Availability: InStock
Author: Thomas Wies
ISBN: 9783030945824

Bernd Finkbeiner Edited by Thomas Wies

Jan 14, 2022

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

Overview

Language

English

No. of Pages

520

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030945824

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Paperback
$58.50
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Rayna Dimitrova Paperback
$109.50
2 formats available
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Rayna Dimitrova Paperback
$109.50
2 formats available
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Rayna Dimitrova Paperback
$58.50
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vii

Valeria V. Krzhizhanovskaya Paperback
$160.95
2 formats available
Conceptual Modeling - ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings

Paolo Atzeni Paperback
$160.95
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iii

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Ii

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Lars Michael Kristensen Paperback
$116.95
2 formats available
Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Lars Michael Kristensen Paperback
$72.95
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iv

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

Javier Esparza Paperback
$80.50
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

Valeria V. Krzhizhanovskaya Paperback
$80.50
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part VI

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings

Amba Kulkarni Paperback
$80.50
Document Analysis Systems: 16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30-31, 2024, Proceedings

Giorgos Sfikas Paperback
$116.95
2 formats available
Critical Infrastructure Protection III: Third IFIP WG 11.10 International Conference, Hanover, New Hampshire, USA, March 23-25, 2009, Revised Selected Papers

Charles Palmer Paperback
$160.95
2 formats available
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Cezara Dragoi Paperback
$124.50
2 formats available

Editorial reviews

thomas wies

Author

Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Dirk Beyer Paperback
$131.50
2 formats available
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Paperback
$80.50
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Paperback
$80.50
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Alfons Laarman Paperback
$80.50
2 formats available
Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

T.v. Gopal Paperback
$80.50
2 formats available
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Michael Hanus Paperback
$124.50
2 formats available
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Bernd Finkbeiner Paperback
$72.95
2 formats available
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Bernd Finkbeiner Paperback
$72.95
2 formats available
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Bernd Finkbeiner Paperback
$72.95
2 formats available
Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Hajo Broersma Paperback
$80.50
Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jaco van der Pol Paperback
$80.50
Algorithms - ESA 2014: 22th Annual European Symposium, Wrocaaw, Poland, September 8-10, 2014. Proceedings

Andreas S. Schulz Paperback
$80.50
Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings

Shlomi Dolev Paperback
$160.95
Rigorous State-based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Alexander Raschke Paperback
$80.50
2 formats available
Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Eitan Frachtenberg Paperback
$80.50
RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Ari Juels Paperback
$80.50
Conceptual Modeling for Novel Application Domains: ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings

Manfred A. Jeusfeld Paperback
$80.50
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Natasha Sharygina Paperback
$160.95
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Holger Giese Paperback
$80.50

Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Overview

You May Also Like

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vii

Conceptual Modeling - ER 2004: 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iii

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Ii

Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Iv

Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I

Computational Science - Iccs 2020: 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part Vi

Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part VI

Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings

Document Analysis Systems: 16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30-31, 2024, Proceedings

Critical Infrastructure Protection III: Third IFIP WG 11.10 International Conference, Hanover, New Hampshire, USA, March 23-25, 2009, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Theory And Applications Of Models Of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Algorithms - ESA 2014: 22th Annual European Symposium, Wrocaaw, Poland, September 8-10, 2014. Proceedings

Stabilization, Safety, and Security of Distributed Systems: 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings

Rigorous State-based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Conceptual Modeling for Novel Application Domains: ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings

Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings