Skip to main content Skip to footer content

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

Alfons Laarman Edited by Ana Sokolova

Aug 03, 2021

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

Overview

Language

English

No. of Pages

195

Theoretical Computer Science and General Issues

Publisher: Springer Nature

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

ISBN: 9783030846282

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Robert Gl Paperback
$72.95
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

Slimane Hammoudi Paperback
$80.50
2 formats available
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Gregor Engels Hardcover
$160.95
Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

Luís Ferreira Pires Paperback
$116.95
2 formats available
Compiler Construction: 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings

Paperback
$71.50
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille Paperback
$80.50
2 formats available
Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Marta Patiño-Mart Paperback
$94.95
2 formats available
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Francisco Jos Domínguez Mayo Paperback
$175.50
2 formats available
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Paperback
$80.50
Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Miguel Matos Paperback
$80.50
2 formats available
Computational Logistics: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceeding: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceedings

Paperback
$80.50
Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Silvia Bonfanti Paperback
$102.50
2 formats available
Runtime Verification: 21st International Conference, Rv 2021, Virtual Event, October 11-14, 2021, Proceedings

Lu Feng Paperback
$124.50
2 formats available
Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

Michael Kirkedal Thomsen Paperback
$94.95
2 formats available
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Paperback
$160.95
2 formats available
Simulation Tools and Techniques: 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings

Dingde Jiang Paperback
$80.50
2 formats available
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Erika Ábrah Paperback
$87.95
2 formats available
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer Paperback
$80.50
Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings

Lars Knudsen Paperback
$160.95
Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings

Leonel Sousa Paperback
$189.95
2 formats available

Editorial reviews

ana sokolova

Author

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

Fabrizio Biondi Paperback
$80.50
2 formats available
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Paperback
$160.95
2 formats available
Algorithms And Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings

Tiziana Calamoneri Paperback
$124.50
2 formats available
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
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
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
Algorithms And Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings

Anna Lubiw Paperback
$160.95
2 formats available
Computational Data And Social Networks: 10th International Conference, Csonet 2021, Virtual Event, November 15-17, 2021, Proceedings

David Mohaisen Paperback
$124.50
2 formats available
Algorithmic Aspects In Information And Management: 15th International Conference, Aaim 2021, Virtual Event, December 20-22, 2021, Proceedings

Weili Wu Paperback
$131.50
2 formats available
Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Daniel Bienstock Paperback
$102.50
2 formats available
Job Scheduling Strategies For Parallel Processing: 24th International Workshop, Jsspp 2021, Virtual Event, May 21, 2021, Revised Selected Papers

Dalibor Klus Paperback
$102.50
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
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Paperback
$262.95
2 formats available
Stabilization, Safety, And Security Of Distributed Systems: 23rd International Symposium, Sss 2021, Virtual Event, November 17-20, 2021, Proceedings

Colette Johnen Paperback
$145.95
2 formats available
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Claus Aranha Paperback
$87.95
2 formats available
Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

David Parker Paperback
$80.50
2 formats available
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part I

Yongxuan Lai Paperback
$175.50
2 formats available
Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Yo-sub Han Paperback
$94.95
2 formats available
Algorithms And Architectures For Parallel Processing: 21st International Conference, Ica3pp 2021, Virtual Event, December 3-5, 2021, Proceedings, Part Ii

Yongxuan Lai Paperback
$175.50
2 formats available
Trends In Functional Programming: 22nd International Symposium, Tfp 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Viktória Zs Paperback
$65.95
2 formats available