Passer au contenu principal Passer au contenu du pied de page

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

Hubert B. Keller Édition : Erhard Plödereder , Peter Dencker

16 mai 2013

72,95 $

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 365 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

177

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642386008

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu Couverture souple
80,50 $
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Couverture souple
80,50 $
Conceptual Modeling - ER 2013: 32th International Conference, Er 2013hong-kong, China, November 11-13, 2013, Proceedings

Wilfred Ng Couverture souple
80,50 $
Advances in Software Engineering: International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

Haeng-kon Kim Couverture souple
80,50 $
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II

Dorina C. Petriu 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 $
Conceptual Modeling - ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Jeffrey Parsons 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
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez 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 $
Human Choice and Digital by Default: Autonomy vs Digital Determination: 15th IFIP International Conference on Human Choice and Computers, HCC 2022, Tokyo, Japan, September 8-9, 2022, Proceedings

David Kreps Couverture rigide
80,50 $
Human Choice and Digital by Default: Autonomy vs Digital Determination: 15th IFIP International Conference on Human Choice and Computers, HCC 2022, Tokyo, Japan, September 8-9, 2022, Proceedings

David Kreps Couverture souple
80,50 $
2 formats offerts
HCI for Cybersecurity, Privacy and Trust: Third International Conference, HCI-CPT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Abbas Moallem 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
HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture: 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Constantine Stephanidis Couverture souple
189,95 $
2 formats offerts
Distributed Embedded Systems: Design, Middleware and Resources: IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy

Bernd Kleinjohann Couverture souple
160,95 $
2 formats offerts
Automated Technology For Verification And Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Yu-fang Chen Couverture souple
80,50 $
2 formats offerts
HCI in Mobility, Transport, and Automotive Systems: Third International Conference, MobiTAS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Heidi Krömker 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
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

Nazim Madhavji Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

erhard plodereder

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 $
Self-Sustaining Systems: First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings

Robert Hirschfeld 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 $
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 $
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 $
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Couverture souple
71,50 $
Technologies for Interactive Digital Storytelling and Entertainment: Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings

Stefan Göbel Couverture souple
80,50 $
Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Mats Brorsson Couverture souple
80,50 $
Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Rune Winther Couverture souple
80,50 $
Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings

Matthias S. Müller Couverture souple
80,50 $
Software Composition: 7th International Symposium, Sc 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

Cesare Pautasso Couverture rigide
80,50 $
Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Carlo A. Furia Couverture souple
80,50 $
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Marcello M. Bonsangue Couverture souple
80,50 $
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Antoine Mine Couverture souple
80,50 $
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Hanne Riis Nielson Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings

Bj Regnell Couverture souple
80,50 $
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin Couverture souple
80,50 $
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer Couverture souple
80,50 $
Algorithmic Learning Theory: 9th International Conference, Alt'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings

Couverture souple
71,50 $
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 $