Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Name: Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Andreas Podelski
ISBN: 9783642277047

Rajeev Joshi Édition : Peter Müller , Andreas Podelski

10 janvier 2012

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

326

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642277047

Smart Card Research and Advanced Applications: 20th International Conference, CARDIS 2021, Lubeck, Germany, November 11-12, 2021, Revised Selected Papers

Vincent Grosso Couverture souple
102,50 $
2 formats offerts
Artificial Intelligence and Knowledge Processing: 4th International Conference, AIKP 2024, Johannesburg Business School, Johannesburg, South Africa, August 22-24, 2024, Proceedings

Hemachandran Hemachandran K Couverture souple
116,95 $
Advanced Data Mining and Applications: 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28-30, 2022, Proceedings, Part I

Weitong Chen Couverture souple
145,95 $
2 formats offerts
Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Josep Silva Couverture souple
80,50 $
2 formats offerts
Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Nata Jonoska Couverture souple
80,50 $
2 formats offerts
Advances in Spatial and Temporal Databases: 12th International Symposium, Sstd 2011, Minneapolis, Mn, Usa, August 24-26, 2011. Proceedings

Dieter Pfoser Couverture souple
80,50 $
Advances In Speech And Language Technologies For Iberian Languages: Third International Conference, Iberspeech 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings

Alberto Abad Couverture souple
80,50 $
2 formats offerts
Lean and Agile Software Development: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedin: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedings

Adam Przyby Couverture souple
102,50 $
2 formats offerts
Advanced Data Mining and Applications: 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28-30, 2022, Proceedings, Part II

Weitong Chen Couverture souple
131,50 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
58,50 $
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
94,95 $
2 formats offerts
Advancements in Interdisciplinary Research: First International Conference, AIR 2022, Prayagraj, India, May 6-7, 2022, Revised Selected Papers

Vijayan Sugumaran Couverture souple
160,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
109,50 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

Roel Wieringa Couverture souple
80,50 $
The Next Wave of Sociotechnical Design: 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021, Proceedings

Leona Chandra Kruse Couverture souple
80,50 $
2 formats offerts
Design, User Experience, and Usability: Design for Contemporary Technological Environments: 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Marcelo M. Soares Couverture souple
189,95 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

Fabiano Dalpiaz Couverture souple
80,50 $
2 formats offerts
Implementing Enterprise Cyber Security with Open-Source Software and Standard Architecture: Volume II

Anand Handa Livre numérique Kobo
191,99 $
Case-based Reasoning Research And Development: 28th International Conference, Iccbr 2020, Salamanca, Spain, June 8-12, 2020, Proceedings

Ian Watson Couverture souple
80,50 $
2 formats offerts
Cooperative Design, Visualization, and Engineering: 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings

Yuhua Luo Couverture souple
80,50 $

Évaluation éditoriale

peter muller

Auteur

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Robert B. France Couverture souple
80,50 $
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar Couverture souple
80,50 $
Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Ruzica Piskac Couverture souple
80,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings

Michael Jünger Couverture souple
160,95 $
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
80,50 $
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Gregor Engels Couverture rigide
160,95 $
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

Jon Lee Couverture souple
80,50 $
Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Bernd Finkbeiner Couverture souple
145,95 $
2 formats offerts
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Couverture souple
80,50 $
2 formats offerts
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Georg Grossmann Couverture souple
80,50 $
2 formats offerts
Algorithms - ESA 2014: 22th Annual European Symposium, Wrocaaw, Poland, September 8-10, 2014. Proceedings

Andreas S. Schulz Couverture souple
80,50 $
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Couverture souple
80,50 $
2 formats offerts
Stabilization, Safety, And Security Of Distributed Systems: 23rd International Symposium, Sss 2021, Virtual Event, November 17-20, 2021, Proceedings

Colette Johnen Couverture souple
145,95 $
2 formats offerts
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Couverture souple
72,95 $
Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Eitan Frachtenberg Couverture souple
80,50 $
OpenMP in the Era of Low Power Devices and Accelerators: 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings

Alistair P. Rendell Couverture souple
72,95 $
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Couverture souple
94,95 $
2 formats offerts
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Jürgen Münch Couverture souple
80,50 $
Job Scheduling Strategies for Parallel Processing: 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers

Dror Feitelson Couverture souple
80,50 $

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Description

Vous aimerez peut-être aussi

Smart Card Research and Advanced Applications: 20th International Conference, CARDIS 2021, Lubeck, Germany, November 11-12, 2021, Revised Selected Papers

Artificial Intelligence and Knowledge Processing: 4th International Conference, AIKP 2024, Johannesburg Business School, Johannesburg, South Africa, August 22-24, 2024, Proceedings

Advanced Data Mining and Applications: 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28-30, 2022, Proceedings, Part I

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Advances in Spatial and Temporal Databases: 12th International Symposium, Sstd 2011, Minneapolis, Mn, Usa, August 24-26, 2011. Proceedings

Advances In Speech And Language Technologies For Iberian Languages: Third International Conference, Iberspeech 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings

Lean and Agile Software Development: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedin: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedings

Advanced Data Mining and Applications: 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28-30, 2022, Proceedings, Part II

Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Advancements in Interdisciplinary Research: First International Conference, AIR 2022, Prayagraj, India, May 6-7, 2022, Revised Selected Papers

Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Requirements Engineering: Foundation for Software Quality: 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings

The Next Wave of Sociotechnical Design: 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021, Proceedings

Design, User Experience, and Usability: Design for Contemporary Technological Environments: 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Requirements Engineering: Foundation for Software Quality: 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

Implementing Enterprise Cyber Security with Open-Source Software and Standard Architecture: Volume II

Case-based Reasoning Research And Development: 28th International Conference, Iccbr 2020, Salamanca, Spain, June 8-12, 2020, Proceedings

Cooperative Design, Visualization, and Engineering: 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Verified Software. Theories, Tools, And Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers

Integer Programming and Combinatorial Optimization: 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Integer Programming and Combinatorial Optimization: 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings

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

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

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

Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Stabilization, Safety, And Security Of Distributed Systems: 23rd International Symposium, Sss 2021, Virtual Event, November 17-20, 2021, Proceedings

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

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

OpenMP in the Era of Low Power Devices and Accelerators: 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Job Scheduling Strategies for Parallel Processing: 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers