Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Marco (Hrsg.) Bernardo

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Buch

CHF 80.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: De Nicola, Rocco (Hrsg.) / Hillston, Jane (Hrsg.)
  • ISBN: 978-3-319-34095-1
  • EAN: 9783319340951
  • Produktnummer: 19812251
  • Verlag: Springer International Publishing
  • Sprache: Englisch
  • Erscheinungsjahr: 2016
  • Seitenangabe: 272 S.
  • Masse: H23.3 cm x B15.7 cm x D1.7 cm 435 g
  • Auflage: 1st ed. 2016
  • Abbildungen: Paperback
  • Gewicht: 435

26 weitere Werke von Marco (Hrsg.) Bernardo:

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