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

Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings

Jolita Ralyt Couverture souple
80,50 $
2 formats offerts
HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021 Proceedings

Constantine Stephanidis Couverture souple
189,95 $
2 formats offerts
Knowledge And Systems Sciences: 17th International Symposium, Kss 2016, Kobe, Japan, November 4-6, 2016, Proceedings

Jian Chen Couverture souple
80,50 $
2 formats offerts
Introduction to Intelligent Systems in Traffic and Transportation

Ana L C Bazzan Couverture souple
49,50 $
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
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Kostis Sagonas Couverture souple
72,95 $
Advances In Brain Inspired Cognitive Systems: 8th International Conference, Bics 2016, Beijing, China, November 28-30, 2016, Proceedings

Cheng-lin Liu Couverture souple
80,50 $
2 formats offerts
Artificial Neural Networks and Machine Learning - ICANN 2016: 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Alessandro E.p. Villa Couverture souple
80,50 $
2 formats offerts
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
Recent Trends in Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 Revised Supplementary Proceedings

Wil M. P. van der Aalst Couverture souple
80,50 $
2 formats offerts
Biomedical Image Registration: 10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings

Alessa Hering Couverture souple
116,95 $
2 formats offerts
Artificial Intelligence in Medicine: 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Minneapolis, MN, USA, August 25-28, 2020, Proceedings

Martin Michalowski Couverture souple
80,50 $
2 formats offerts
Advances Of Science And Technology: 7th Eai International Conference, Icast 2019, Bahir Dar, Ethiopia, August 2-4, 2019, Proceedings

Nigus Gabbiye Habtu Couverture souple
80,50 $
2 formats offerts
Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Yo-sub Han Couverture souple
94,95 $
2 formats offerts
Design, User Experience, and Usability: UX Research and Design: 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Marcelo M. Soares Couverture souple
204,50 $
2 formats offerts
Persuasive Technology: Design for Health and Safety: 7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linkoping, Sweden, June 6-8, 2012. Proceedings

Magnus Bang Couverture souple
80,50 $
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
DIS '18: Proceedings of the 2018 Designing Interactive Systems Conference Vol 2

DIS Couverture souple
236,00 $
Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Romain Wacquez Couverture souple
94,95 $
2 formats offerts
Universal Access in Human-Computer Interaction. Design Methods and User Experience: 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Margherita Antona Couverture souple
160,95 $
2 formats offerts

Évaluation éditoriale

peter muller

Auteur

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
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 $
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 $
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 $
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar Couverture souple
80,50 $
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
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
Integer Programming and Combinatorial Optimization: 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings

Michael Jünger Couverture souple
160,95 $
Static Analysis: 25th International Symposium, Sas 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Andreas Podelski Couverture souple
80,50 $
2 formats offerts
The Transdisciplinary Reach of Design Science Research: 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings

Andreas Drechsler Couverture souple
131,50 $
2 formats offerts
Software Composition: 6th International Symposium, Sc 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

Markus Lumpe Couverture rigide
80,50 $
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
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Andy Sch Couverture souple
160,95 $
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 $
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Frank S. de Boer Couverture rigide
80,50 $
Subject-Oriented Business Process Management. Models for Designing Digital Transformations: 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, Proceedings

Matthes Elstermann Couverture souple
124,50 $
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 $
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
Cloud Computing and Services Science: 11th International Conference, CLOSER 2021, Virtual Event, April 28-30, 2021, Revised Selected Papers

Donald Ferguson Couverture souple
102,50 $
2 formats offerts
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Tobias Achterberg 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

Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings

HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021 Proceedings

Knowledge And Systems Sciences: 17th International Symposium, Kss 2016, Kobe, Japan, November 4-6, 2016, Proceedings

Introduction to Intelligent Systems in Traffic and Transportation

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

Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Advances In Brain Inspired Cognitive Systems: 8th International Conference, Bics 2016, Beijing, China, November 28-30, 2016, Proceedings

Artificial Neural Networks and Machine Learning - ICANN 2016: 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

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

Recent Trends in Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020 Revised Supplementary Proceedings

Biomedical Image Registration: 10th International Workshop, WBIR 2022, Munich, Germany, July 10-12, 2022, Proceedings

Artificial Intelligence in Medicine: 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Minneapolis, MN, USA, August 25-28, 2020, Proceedings

Advances Of Science And Technology: 7th Eai International Conference, Icast 2019, Bahir Dar, Ethiopia, August 2-4, 2019, Proceedings

Descriptional Complexity Of Formal Systems: 23rd Ifip Wg 1.02 International Conference, Dcfs 2021, Virtual Event, September 5, 2021, Proceedings

Design, User Experience, and Usability: UX Research and Design: 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Persuasive Technology: Design for Health and Safety: 7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linkoping, Sweden, June 6-8, 2012. Proceedings

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

DIS '18: Proceedings of the 2018 Designing Interactive Systems Conference Vol 2

Constructive Side-Channel Analysis and Secure Design: 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Universal Access in Human-Computer Interaction. Design Methods and User Experience: 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

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

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

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

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

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

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

The Transdisciplinary Reach of Design Science Research: 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, St Petersburg, FL, USA, June 1-3, 2022, Proceedings

Software Composition: 6th International Symposium, Sc 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

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

Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

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

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Subject-Oriented Business Process Management. Models for Designing Digital Transformations: 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, 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

Cloud Computing and Services Science: 11th International Conference, CLOSER 2021, Virtual Event, April 28-30, 2021, Revised Selected Papers

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings