Passer au contenu principal Passer au contenu du pied de page

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

Frank S. de Boer Édition : Marcello M. Bonsangue , Susanne Graf

18 décembre 2007

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

300

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783540747918

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh Couverture souple
204,50 $
2 formats offerts
Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Konstantinos Georgiou Couverture souple
80,50 $
2 formats offerts
Algorithmics of Wireless Networks: 19th International Symposium, ALGOWIN 2023, Amsterdam, The Netherlands, September 7-8, 2023, Revised Selected Papers

Konstantinos Georgiou Couverture souple
58,50 $
Research and Education in Urban History in the Age of Digital Libraries: Second International Workshop, UHDL 2019, Dresden, Germany, October 10-11, 2019, Revised Selected Papers

Florian Niebling Couverture souple
124,50 $
2 formats offerts
Geometry and Vision: First International Symposium, ISGV 2021, Auckland, New Zealand, January 28-29, 2021, Revised Selected Papers

Minh Nguyen Couverture souple
80,50 $
2 formats offerts
Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Couverture souple
91,44 $
The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Sivaram Ponnusamy Couverture souple
58,50 $
Integrated Formal Methods: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Paula Herber Couverture souple
175,50 $
2 formats offerts
Knowledge and Systems Sciences: 20th International Symposium, KSS 2019, Da Nang, Vietnam, November 29 - December 1, 2019, Proceedings

Jian Chen Couverture souple
80,50 $
2 formats offerts
The Role of AI in Bio-Medical Translations' Research for the Health Care Industry: First International Conference, AIBTR 2023, Nagpur, India, September 23, 2023, Revised Selected Papers

Sivaram Ponnusamy Couverture souple
94,95 $
2 formats offerts
Data-Driven Process Discovery and Analysis: 4th International Symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, Revised Selected Papers

Paolo Ceravolo Couverture souple
80,50 $
Privacy and Identity Management. Time for a Revolution?: 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers

David Aspinall Couverture souple
80,50 $
3 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 $
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Couverture souple
80,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
94,95 $
2 formats offerts
AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers

Rajendra Akerkar Couverture souple
72,95 $
2 formats offerts
Computer Security. ESORICS 2023 International Workshops: CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I

Sokratis Katsikas Couverture souple
116,95 $
2 formats offerts
Learning Classifier Systems: 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, Revised Selected Papers

Jaume Bacardit Couverture souple
80,50 $
Advances in Self-Organizing Maps and Learning Vector Quantization: Proceedings Of The 11th International Workshop Wsom 2016, Houston, Texas, Usa, January 6-8, 2016

Erzsébet Merényi Couverture souple
248,50 $
2 formats offerts
Speech, Sound and Music Processing: Embracing Research in India: 8th International Symposium, CMMR 2011 and 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

Solvi Ystad Couverture souple
105,50 $

Évaluation éditoriale

marcello m bonsangue

Auteur

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 $
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers

Alexander Lazovik Couverture souple
80,50 $
2 formats offerts
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Marcello M. Bonsangue Couverture souple
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 $
Advances In Service-oriented And Cloud Computing: Workshops Of Esocc 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers

Maria Fazio Couverture souple
80,50 $
2 formats offerts
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings

Nadine Azemard Couverture souple
80,50 $
Data-Driven Process Discovery and Analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13-14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, Revised Selected Papers

Paolo Ceravolo Couverture souple
80,50 $
2 formats offerts
Conceptual Modeling for Novel Application Domains: ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings

Manfred A. Jeusfeld Couverture souple
80,50 $
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fabio Fioravanti Couverture souple
80,50 $
2 formats offerts
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 $
Agent-Oriented Software Engineering IV: 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers

Paolo Giorgini Couverture souple
80,50 $
Human Mental Workload: Models and Applications: Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

Luca Longo Couverture souple
80,50 $
2 formats offerts
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Service-Oriented and Cloud Computing: 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings

George A. Papadopoulos Couverture souple
94,95 $
2 formats offerts
Agent-Based Technologies and Applications for Enterprise Interoperability: International Workshops ATOP 2009, Budapest, Hungary, May 12, 2009, and ATOP 2010, Toronto, ON, Canada, May 10, 2010, Revised Selected Papers

Klaus Fischer Couverture souple
102,50 $
Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Paolo Ciancarini Couverture souple
80,50 $
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Couverture souple
80,50 $
Systems, Software And Services Process Improvement: 27th European Conference, Eurospi 2020, Dusseldorf, Germany, September 9-11, 2020, Proceedings

Murat Yilmaz Couverture souple
160,95 $
2 formats offerts
Functional And Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Michael Hanus Couverture souple
80,50 $
2 formats offerts