Zur Startseite wechseln
CHF 0.00
Kategorien
E-Books / Audio-Downloads / Reader
E-Books englisch
Naturwissenschaften / Medizin / Informatik / Technik
Produktbild
Marco (Hrsg.) Bernardo

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

Ebook (PDF Format)

This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.

CHF 66.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Padovani, Luca (Hrsg.) / Zavattaro, Gianluigi (Hrsg.)
  • ISBN: 978-3-642-01918-0
  • EAN: 9783642019180
  • Produktnummer: 33367152
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2009
  • Seitenangabe: 341 S.
  • Plattform: PDF
  • Masse: 8'784 KB
  • Auflage: 2009
  • Abbildungen: Bibliographie
  • Reihenbandnummer: 5569

26 weitere Werke von Marco (Hrsg.) Bernardo:

Produktbild
Formal Methods for Mobile Computing
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
Buch
CHF 78.00
Produktbild
Formal Methods for Computational Systems Biology
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
Buch
CHF 114.00
Produktbild
Formal Methods for Software Architectures
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
Buch
CHF 78.00
Produktbild
Formal Methods for Eternal Networked Software Systems
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
Buch
CHF 107.00
Produktbild
Formal Methods for Model-Driven Engineering
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
Buch
CHF 100.00
Produktbild
Formal Methods for Executable Software Models
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
Ebook (PDF Format)
CHF 86.50
Produktbild
Formal Methods for Performance Evaluation
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
Ebook (PDF Format)
CHF 100.00
Produktbild
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
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
Ebook (PDF Format)
CHF 66.50
Produktbild
Formal Methods for Dynamical Systems
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
Ebook (PDF Format)
CHF 54.50
Produktbild
Formal Methods for Computational Systems Biology
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
Ebook (PDF Format)
CHF 82.50
Produktbild
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
Buch
CHF 66.00
Produktbild
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
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
Buch
CHF 80.00
Produktbild
Formal Methods for Model-Driven Engineering
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
Ebook (PDF Format)
CHF 82.50
Produktbild
Formal Methods for Eternal Networked Software Systems
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
Ebook (PDF Format)
CHF 100.50
Produktbild
Formal Methods for Hardware Verification
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
Buch
CHF 100.00
Produktbild
Formal Methods for Executable Software Models
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
Buch
CHF 105.00
Produktbild
Formal Methods for Software Architectures
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
Ebook (PDF Format)
CHF 85.50
Produktbild
Formal Methods for Multicore Programming
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
Buch
CHF 69.00
Produktbild
Formal Methods for Dynamical Systems
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
Buch
CHF 66.00
Produktbild
Formal Methods for the Design of Real-Time Systems
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
Buch
CHF 77.00
Produktbild
Formal Methods for Hardware Verification
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
Ebook (PDF Format)
CHF 93.50
Produktbild
Formal Methods for Mobile Computing
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
Ebook (PDF Format)
CHF 91.50
Produktbild
Computer Performance Engineering
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
Ebook (PDF Format)
CHF 80.00
Produktbild
Formal Methods for Multicore Programming
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
Ebook (PDF Format)
CHF 57.00
Produktbild
Formal Methods for Quantitative Aspects of Programming Languages
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
Ebook (PDF Format)
CHF 93.50
Produktbild
Formal Methods for the Design of Real-Time Systems
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
Ebook (PDF Format)
CHF 64.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...