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

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

Ebook (PDF Format)

CHF 64.00

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

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Corradini, Flavio (Hrsg.)
  • ISBN: 978-3-540-30080-9
  • EAN: 9783540300809
  • Produktnummer: 37266831
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2004
  • Seitenangabe: 297 S.
  • Plattform: PDF
  • Auflage: 2004
  • Reihenbandnummer: 3185

26 weitere Werke von Marco (Hrsg.) Bernardo:

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