Passer au contenu principal Passer au contenu du pied de page

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Antoine Mine Édition : David Schmidt

3 août 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

457

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642331244

Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Robert Gl Couverture souple
72,95 $
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Radhia Cousot Couverture souple
80,50 $
Theoretical Aspects Of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

Violet Ka I Pun Couverture souple
80,50 $
2 formats offerts
Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Torben Ægidius Mogensen Couverture souple
94,95 $
2 formats offerts
Reversible Computation: 16th International Conference, RC 2024, ToruA, Poland, July 4-5, 2024, Proceedings

Torben Ægidius Mogensen Couverture souple
72,95 $
Theory and Practice of Computation: Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings

Shin-ya Nishizaki Couverture souple
80,50 $
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 and Computation: 22nd International Symposium, Isaac 2011, Yokohama, Japan, December 5-8, 2011. Proceedings

Takao Asano Couverture souple
80,50 $
Computing And Combinatorics: 25th International Conference, Cocoon 2019, Xi'an, China, July 29-31, 2019, Proceedings

Ding-Zhu Du Couverture souple
80,50 $
2 formats offerts
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Natasha Sharygina Couverture souple
160,95 $
Advances in Computing Science - ASIAN'98: 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

Jieh Hsiang Couverture souple
80,50 $
Theory and Practice of Natural Computing: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

Adrian-Horia Dediu Couverture souple
105,50 $
Serious Games: Joint International Conference, Jcsg 2020, Stoke-on-trent, Uk, November 19-20, 2020, Proceedings

Minhua Ma Couverture souple
138,95 $
2 formats offerts
Big Data - BigData 2019: 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings

Keke Chen Couverture souple
80,50 $
2 formats offerts
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin Couverture souple
80,50 $
Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China, July 15-16, 2019, Proceedings

Fabrizio Biondi Couverture souple
80,50 $
2 formats offerts
WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings

Sheung-hung Poon Couverture souple
80,50 $
2 formats offerts
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings

Mike Dean Couverture souple
80,50 $
Service-Oriented and Cloud Computing: Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

Massimo Villari Couverture souple
80,50 $

Évaluation éditoriale

david schmidt

Auteur

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

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

Chris Hankin Couverture souple
80,50 $
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Franck Cassez Couverture souple
80,50 $
Software Composition: 7th International Symposium, Sc 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

Cesare Pautasso Couverture rigide
80,50 $
Analytical and Stochastic Modeling Techniques and Applications: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Khalid Al-Begain 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 $
Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

Danny Weyns 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
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 $
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Bernhard Beckert Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

Barbara Paech 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 $
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer Couverture souple
80,50 $
Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

Robert Gl Couverture souple
80,50 $
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Marco Carbone Couverture souple
102,50 $
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav 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 $
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Bertrand Meyer Couverture souple
80,50 $
Tests and Proofs: 6th International Conference, Tap 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Achim Brucker Couverture souple
102,50 $
Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings

Marco Winckler Couverture rigide
80,50 $