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: 108.99 CAD
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783030945831

Edited by Bernd Finkbeiner

Feb 14, 2022

$108.99 ~~Price reduced from $135.87 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Theoretical Computer Science and General Issues

Publisher: Springer International Publishing

ISBN: 9783030945831

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
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
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
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
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
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
$58.50
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
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
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
Sensor Applications, Experimentation, and Logistics: First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers

Nikos Komninos Paperback
$80.50
Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

Roman Wyrzykowski 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
Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Jerome Durand-Lose Paperback
$72.95
Parallel Processing and Applied Mathematics: 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers

Roman Wyrzykowski Paperback
$160.95
Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Marek Cygan Paperback
$80.50
2 formats available
Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines

Shin-ya Nishizaki Paperback
$115.50
2 formats available
Document Analysis and Recognition - ICDAR 2024: 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part V

Elisa H. Barney Smith Paperback
$116.95
2 formats available
Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ivan Lirkov Paperback
$72.95

Editorial reviews

bernd finkbeiner

Author

Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Fritz Henglein Paperback
$145.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
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
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
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 II

Rayna Dimitrova Paperback
$109.50
2 formats available
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Paperback
$80.50
2 formats available
String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Christina Boucher Paperback
$80.50
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
Combinatorial Optimization And Applications: 14th International Conference, Cocoa 2020, Dallas, Tx, Usa, December 11-13, 2020, Proceedings

Weili Wu Paperback
$160.95
2 formats available
Unconventional Computation And Natural Computation: 16th International Conference, Ucnc 2017, Fayetteville, Ar, Usa, June 5-9, 2017, Proceedings

Matthew J. Patitz Paperback
$80.50
2 formats available
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Gilles Barthe 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
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
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

Majid Zamani Paperback
$80.50
2 formats available
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
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Paperback
$80.50
2 formats available
Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Ding-Zhu Du Paperback
$80.50
2 formats available
Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings

Sylvain Schmitz Paperback
$80.50
2 formats available
Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings

Belgacem Ben Hedia Paperback
$80.50
2 formats available

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Overview

You May Also Like

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

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

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

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

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

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

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

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 I

Sensor Applications, Experimentation, and Logistics: First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers

Parallel Processing and Applied Mathematics: 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

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

Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Parallel Processing and Applied Mathematics: 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers

Parameterized and Exact Computation: 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines

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

Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

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

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

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

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 II

Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Computer Aided Verification: 32nd International Conference, Cav 2020, Los Angeles, Ca, Usa, July 21-24, 2020, Proceedings, Part I

Combinatorial Optimization And Applications: 14th International Conference, Cocoa 2020, Dallas, Tx, Usa, December 11-13, 2020, Proceedings

Unconventional Computation And Natural Computation: 16th International Conference, Ucnc 2017, Fayetteville, Ar, Usa, June 5-9, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

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

Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Proceedings

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

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proceedings