Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Name: Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Price: 102.50 CAD
Availability: InStock
Author: Gianluigi Zavattaro
ISBN: 9783642019173

Marco Bernardo Édition : Luca Padovani , Gianluigi Zavattaro

12 mai 2009

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

Description

Langue

anglais

Pages

341

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642019173

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Marco Bernardo Couverture souple
80,50 $
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Marco Bernardo Couverture souple
72,95 $
Learn Computer Science with Swift: Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds

Jesse Feiler Couverture souple
43,95 $
2 formats offerts
Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Ying Tan Couverture souple
80,50 $
Artificial Intelligence in Medicine: 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, Halifax, NS, Canada, June 14-17, 2022, Proceedings

Martin Michalowski Couverture souple
248,50 $
2 formats offerts
Essentials in Petri Nets: Information Technology and Computers

Couverture rigide
144,95 $
Hands-On Computer Vision with Detectron2: Develop object detection and segmentation models with a code and visualization approach

Van Vung Pham Couverture souple
56,99 $
2 formats offerts
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Couverture souple
71,50 $
Human-Computer Interaction. Design and User Experience Case Studies: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Masaaki Kurosu Couverture souple
80,50 $
2 formats offerts
Neural Networks: Easy Guide to Artificial Neural Networks (Artificial Intelligence and Neural Network Concepts Explained in Simple Terms)

Laurie Thomas Couverture souple
19,95 $
Multi-disciplinary Trends In Artificial Intelligence: 10th International Workshop, Miwai 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Chattrakul Sombattheera Couverture souple
80,50 $
2 formats offerts
Threat Modeling Gameplay with EoP: A reference manual for spotting threats in software architecture

Brett Crawley Couverture souple
50,99 $
Multi-disciplinary Trends in Artificial Intelligence: 6th International Workshop, MIWAI 2012, Ho Chin Minh City, Vietnam, December 26-28, 2012, Proceedings

Chattrakul Sombattheera Couverture souple
80,50 $
Models, Algorithms, And Technologies For Network Analysis: Net 2016, Nizhny Novgorod, Russia, May 2016

Valery A. Kalyagin Couverture souple
160,95 $
3 formats offerts
Trusted Computing Platforms: TPM2.0 in Context

Graeme Proudler Couverture rigide
262,95 $
2 formats offerts
Data Structures And Algorithms With Javascript: Bringing Classic Computing Approaches To The Web

Michael McMillan Couverture souple
41,99 $
2 formats offerts
Hugo In Action: Static Sites And Dynamic Jamstack Apps

Atishay Jain Couverture souple
79,99 $
2 formats offerts
Threat Modeling Gameplay with EoP: A reference manual for spotting threats in software architecture

Brett Crawley Livre numérique Kobo
32,99 $ ~~Réduction sur le prix courant 40,99 $ à~~
Statistics and Data Science: Research School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24-26, 2019, Proceedings

Hien Nguyen Couverture souple
80,50 $
2 formats offerts
Human Language Technology. Challenges for Computer Science and Linguistics: 4th Language and Technology Conference, LTC 2009, Roznan, Poland, November 6-8, 2009, Revised Selected Papers

Zygmunt Vetulani Couverture souple
80,50 $

Évaluation éditoriale

luca padovani

Auteur

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Marco Bernardo Couverture souple
80,50 $
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Marco Bernardo Couverture souple
72,95 $
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Marco Bernardo Couverture souple
80,50 $
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Marco Bernardo Couverture souple
80,50 $
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

Flavio De Paoli Couverture souple
72,95 $
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Paolo Ciancarini Couverture souple
321,50 $
2 formats offerts
Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings

Giulio Concas Couverture souple
80,50 $
Product-focused Software Process Improvement: 21st International Conference, Profes 2020, Turin, Italy, November 25-27, 2020, Proceedings

Maurizio Morisio Couverture souple
80,50 $
2 formats offerts
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings

Stefan Gradmann Couverture souple
80,50 $
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Andrea Bondavalli Couverture souple
80,50 $
Euro-Par 2018: Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Marco Aldinucci Couverture souple
80,50 $
2 formats offerts
Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Paolo Manghi Couverture souple
145,95 $
2 formats offerts
Constructive Side-Channel Analysis and Secure Design: 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected Papers

Guido Marco Bertoni Couverture souple
80,50 $
2 formats offerts
Advances in Additive Manufacturing, Modeling Systems and 3D Prototyping: Proceedings of the AHFE 2019 International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 24-28, 2019, Washington D.C., USA

Massimo Di Nicolantonio Couverture souple
321,50 $
2 formats offerts
Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures

Cristina Baroglio Couverture souple
80,50 $
Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Luca Ardito Couverture souple
102,50 $
2 formats offerts
Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini Couverture souple
80,50 $
Service-oriented And Cloud Computing: 7th Ifip Wg 2.14 European Conference, Esocc 2018, Como, Italy, September 12-14, 2018, Proceedings

Kyriakos Kritikos Couverture souple
80,50 $
2 formats offerts
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Valentina Casola Couverture souple
80,50 $
2 formats offerts
Intelligent Tutoring Systems: 13th International Conference, Its 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

Alessandro Micarelli Couverture souple
80,50 $
2 formats offerts

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Description

Vous aimerez peut-être aussi

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Learn Computer Science with Swift: Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds

Advances in Swarm Intelligence: 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

Artificial Intelligence in Medicine: 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, Halifax, NS, Canada, June 14-17, 2022, Proceedings

Essentials in Petri Nets: Information Technology and Computers

Hands-On Computer Vision with Detectron2: Develop object detection and segmentation models with a code and visualization approach

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Human-Computer Interaction. Design and User Experience Case Studies: Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

Neural Networks: Easy Guide to Artificial Neural Networks (Artificial Intelligence and Neural Network Concepts Explained in Simple Terms)

Multi-disciplinary Trends In Artificial Intelligence: 10th International Workshop, Miwai 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Threat Modeling Gameplay with EoP: A reference manual for spotting threats in software architecture

Multi-disciplinary Trends in Artificial Intelligence: 6th International Workshop, MIWAI 2012, Ho Chin Minh City, Vietnam, December 26-28, 2012, Proceedings

Models, Algorithms, And Technologies For Network Analysis: Net 2016, Nizhny Novgorod, Russia, May 2016

Trusted Computing Platforms: TPM2.0 in Context

Data Structures And Algorithms With Javascript: Bringing Classic Computing Approaches To The Web

Hugo In Action: Static Sites And Dynamic Jamstack Apps

Threat Modeling Gameplay with EoP: A reference manual for spotting threats in software architecture

Statistics and Data Science: Research School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24-26, 2019, Proceedings

Human Language Technology. Challenges for Computer Science and Linguistics: 4th Language and Technology Conference, LTC 2009, Roznan, Poland, November 6-8, 2009, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures

Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings

Product-focused Software Process Improvement: 21st International Conference, Profes 2020, Turin, Italy, November 25-27, 2020, Proceedings

Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL, Berlin, Germany, September 26-28, 2011, Proceedings

Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Euro-Par 2018: Parallel Processing: 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Constructive Side-Channel Analysis and Secure Design: 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected Papers

Advances in Additive Manufacturing, Modeling Systems and 3D Prototyping: Proceedings of the AHFE 2019 International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 24-28, 2019, Washington D.C., USA

Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures

Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Service-oriented And Cloud Computing: 7th Ifip Wg 2.14 European Conference, Esocc 2018, Como, Italy, September 12-14, 2018, Proceedings

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Intelligent Tutoring Systems: 13th International Conference, Its 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings