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 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

Ebook (PDF Format)

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.

CHF 100.00

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Hillston, Jane (Hrsg.)
  • ISBN: 978-3-540-72522-0
  • EAN: 9783540725220
  • Produktnummer: 33313298
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2007
  • Seitenangabe: 472 S.
  • Plattform: PDF
  • Masse: 7'758 KB
  • Auflage: 2007
  • Abbildungen: Bibliographie

26 weitere Werke von Marco (Hrsg.) Bernardo:

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