Buch, Taschenbuch
Versandfertig in 1-2 Wochen
140,00 €

Über Foundations of Real-Time Computing: Formal Specifications and Methods

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.

Sprache:
Englisch

ISBN:
9781461367963

Verlag:
Springer-Verlag New York Inc.

Einband:
Taschenbuch

Seitenzahl:
316

Veröffentlicht:
12. Oktober 2012

Ausgabe:
11991

Abmessungen:
235x155x18 mm.

Gewicht:
510 g.

140,00 € inkl. MwSt.
~~160,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Foundations of Real-Time Computing: Formal Specifications and Methods

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.

Kund*innenbewertungen von Foundations of Real-Time Computing: Formal Specifications and Methods

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Foundations of Real-Time Computing: Formal Specifications and Methods ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Foundations of Real-Time Computing: Formal Specifications and Methods

Beschreibung von Foundations of Real-Time Computing: Formal Specifications and Methods

Kund*innenbewertungen von Foundations of Real-Time Computing: Formal Specifications and Methods

Willkommen bei den Tales Buchfreunden und -freundinnen