Skip to main content Skip to footer content

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Edited by Grigore Rosu

Aug 23, 2022

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

Overview

Language

English

No. of Pages

153

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031150760

Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Mohamed Mosbah Paperback
$109.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
Advances in Information Technology: Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings

Borworn Papasratorn Paperback
$80.50
Issues in Software Engineering Education: Proceedings of the 1987 SEI Conference on Software Engineering Education, Held in Monroeville, Paris, April 30- May 1, 1987

Richard Fairley Paperback
$160.95
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
Lean Enterprise Software and Systems: 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

Brian Fitzgerald Paperback
$80.50
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 Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings

Alfons Laarman Paperback
$80.50
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
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
Lean and Agile Software Development: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedin: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings

Adam Przyby Paperback
$124.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
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
Reliable and Autonomous Computational Science: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 201: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010

Sung Y. Shin Paperback
$160.95
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Erika Ábrah Paperback
$87.95
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
Algorithms and Computation: 8th International Workshop, Walcom 2014, Chennai, India, February 13-15, 2014, Proceedings

Sudebkumar Prasant Pal Paperback
$80.50
Object-Based Distributed Programming: ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings

Paperback
$71.50
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Grace A. Lewis Paperback
$80.50
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

Editorial reviews

grigore rosu

Author

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

Alfons Laarman Paperback
$80.50
2 formats available
Cooperative Design, Visualization, and Engineering: 19th International Conference, CDVE 2022, Virtual Event, September 25-28, 2022, Proceedings

Yuhua Luo Paperback
$80.50
2 formats available
Passive and Active Measurement: 24th International Conference, Pam 2023, Virtual Event, March 21-23, 2023, Proceedings

Paperback
$110.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
Information Integration and Web Intelligence: 24th International Conference, iiWAS 2022, Virtual Event, November 28-30, 2022, Proceedings

Eric Pardede Paperback
$145.95
2 formats available
Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers

Ivana Ljubi Paperback
$124.50
2 formats available
Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I

Philipp Richter Paperback
$175.50
2 formats available
Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II

Philipp Richter Paperback
$189.95
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
Networked Systems: 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings

Mohammed-Amine Koulali Paperback
$80.50
2 formats available
Passive And Active Measurement: 23rd International Conference, Pam 2022, Virtual Event, March 28-30, 2022, Proceedings

Oliver Hohlfeld Paperback
$160.95
2 formats available
Computational Data and Social Networks: 11th International Conference, CSoNet 2022, Virtual Event, December 5-7, 2022, Proceedings

Thang N. Dinh Paperback
$102.50
2 formats available
Product-Focused Software Process Improvement: 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022, Proceedings

Davide Taibi Paperback
$145.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
Post-Quantum Cryptography: 13th International Workshop, PQCrypto 2022, Virtual Event, September 28-30, 2022, Proceedings

Jung Hee Cheon Paperback
$80.50
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
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

Wouter Swierstra Paperback
$72.95
2 formats available
Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Alberto Del Pia Paperback
$131.50
2 formats available
Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings

Karen Aardal Paperback
$145.95
2 formats available
Service-oriented Computing: 15th Symposium And Summer School, Summersoc 2021, Virtual Event, September 13-17, 2021, Proceedings

Johanna Barzen Paperback
$102.50
2 formats available