Passer au contenu principal Passer au contenu du pied de page

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

Jaco van der Pol Édition : Michael Weber

27 septembre 2010

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

263

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 1" H x 1" W x 1" L

ISBN: 9783642161636

Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V Hermenegildo Couverture souple
131,50 $
2 formats offerts
Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Cezara Drägoi Couverture souple
131,50 $
2 formats offerts
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Couverture souple
102,50 $
2 formats offerts
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 Couverture souple
175,50 $
2 formats offerts
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Brian Malloy Couverture souple
80,50 $
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Javier Esparza Couverture souple
80,50 $
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Patrick Godefroid Couverture souple
80,50 $
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Laura Nenzi Couverture souple
116,95 $
2 formats offerts
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Erik M. Fredericks Couverture souple
80,50 $
2 formats offerts
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Couverture souple
160,95 $
2 formats offerts
Object-Based Distributed Programming: ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings

Couverture souple
71,50 $
OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings

Simon Mcintosh-smith Couverture souple
116,95 $
2 formats offerts
Computers Helping People With Special Needs: 17th International Conference, Icchp 2020, Lecco, Italy, September 9-11, 2020, Proceedings, Part Ii

Klaus Miesenberger Couverture souple
102,50 $
2 formats offerts
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Malaga, Spain, June 28 - July 2, 2010, Proceedings

Jan Vitek Couverture souple
80,50 $
Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceeding: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Erika Ábrah Couverture souple
116,95 $
2 formats offerts
Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceeding: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Erika Ábrah Couverture souple
58,50 $
Advances in Conceptual Modeling: ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

Tiago Prince Sales Couverture souple
109,50 $
2 formats offerts
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Artur Czumaj Couverture souple
80,50 $
Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings

Fabian Kuhn Couverture souple
80,50 $
Learning Factories of the Future: Proceedings of the 14th Conference on Learning Factories 2024, Volume 1

Sebastian Thiede Couverture souple
72,95 $
2 formats offerts

Évaluation éditoriale

michael weber

Auteur

Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

Hartmut Ehrig Couverture souple
80,50 $
Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

H. Jaap Van Den Herik Couverture souple
80,50 $
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Patrick Godefroid Couverture souple
80,50 $
Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Frank Dehne Couverture souple
80,50 $
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Couverture souple
80,50 $
Algorithms and Data Structures: 10th International Workshop, Wads 2007, Halifax, Canada, August 15-17, 2007, Proceedings

Frank Dehne Couverture souple
160,95 $
Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

David Eppstein Couverture souple
80,50 $
High Performance Computing and Communications: Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings

Michael Gerndt Couverture souple
160,95 $
Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

Martin Grohe Couverture rigide
80,50 $
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari Couverture souple
80,50 $
Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Hajo Broersma Couverture souple
80,50 $
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Holger Giese Couverture souple
80,50 $
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Alex Groce Couverture souple
102,50 $
Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings

Frank Dehne Couverture souple
80,50 $
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Annie A.M. Cuyt Couverture souple
80,50 $
Algorithm Theory - Swat 2010: 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Haim Kaplan Couverture souple
80,50 $
Algorithms - Esa 2010, Part Ii: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Mark De Berg Couverture souple
80,50 $
Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Mark De Berg Couverture souple
80,50 $
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Biomedical Simulation: Third International Symposium, Isbms 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings

Matthias Harders Couverture souple
80,50 $