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

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Claudio Russo Couverture souple
80,50 $
Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Mark van den Brand Couverture souple
80,50 $
Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Hossein Hojjat Couverture souple
116,95 $
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 $
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
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
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
Proceedings of the 21st Congress of the International Ergonomics Association (Iea 2021): Volume II: Inclusive Design

Nancy L. Black Couverture souple
248,50 $
2 formats offerts
Learning and Collaboration Technologies. Novel Technological Environments: 9th International Conference, LCT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Panayiotis Zaphiris Couverture souple
124,50 $
2 formats offerts
Objects, Components, Models, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

Judith Bishop 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
Design, User Experience, and Usability: UX Research, Design, and Assessment: 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Marcelo M. Soares Couverture souple
204,50 $
2 formats offerts
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Hossein Hojjat Couverture souple
87,95 $
2 formats offerts
Engineering Software for Modern Challenges: First International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers

Dayang Norhayati A. Jawawi Couverture souple
102,50 $
2 formats offerts
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Couverture souple
72,95 $
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Gary T. Leavens Couverture souple
80,50 $
Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Maarten Van Steen Couverture souple
189,95 $
2 formats offerts
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

Corrado Priami Couverture souple
80,50 $
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 $
Computing, Analytics and Networks: First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers

Rajnish Sharma Couverture souple
109,50 $
2 formats offerts

peter muller

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Gary T. Leavens Couverture souple
80,50 $
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Grace A. Lewis Couverture souple
80,50 $
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Patricia M. Hill 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 $
Theory, Practice, And Applications Of Rules On The Web: 7th International Symposium, Ruleml 2013, Seattle, Wa, Usa, July 11-13, 2013, Proceedings

Leora Morgenstern Couverture souple
72,95 $
Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Frank Dehne Couverture souple
80,50 $
Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Couverture souple
87,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 $
Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Mark van den Brand Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Andy Gill Couverture souple
80,50 $
Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Borzoo Bonakdarpour Couverture souple
80,50 $
Static Analysis: 16th International Symposium, Sas 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings

Jens Palsberg Couverture souple
80,50 $
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Juergen Dingel Couverture souple
80,50 $
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Myra B. Cohen Couverture souple
102,50 $
Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Rune Winther Couverture souple
80,50 $
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

Supratik Chakraborty 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 $
Software Composition: 6th International Symposium, Sc 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

Markus Lumpe Couverture rigide
80,50 $
Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Raffaela Mirandola Couverture souple
80,50 $
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: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Description

Vous aimerez peut-être aussi

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Fundamentals Of Software Engineering: 9th International Conference, Fsen 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

Cooperative Design, Visualization, and Engineering: 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. 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

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

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

Proceedings of the 21st Congress of the International Ergonomics Association (Iea 2021): Volume II: Inclusive Design

Learning and Collaboration Technologies. Novel Technological Environments: 9th International Conference, LCT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Objects, Components, Models, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

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

Design, User Experience, and Usability: UX Research, Design, and Assessment: 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Engineering Software for Modern Challenges: First International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers

Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Cloud Computing and Services Science: 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems: IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers

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

Computing, Analytics and Networks: First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

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

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

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

Theory, Practice, And Applications Of Rules On The Web: 7th International Symposium, Ruleml 2013, Seattle, Wa, Usa, July 11-13, 2013, Proceedings

Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

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

Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers

Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Runtime Verification: 5th International Conference, Rv 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings

Static Analysis: 16th International Symposium, Sas 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

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

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

Architectures for Adaptive Software Systems: 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

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