HUDU

Real Time Programming: Languages, Specification and Verification


€ 120,99
 
gebunden
Besorgung - Lieferbarkeit unbestimmt
Oktober 2009

Beschreibung

Beschreibung

The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
EAN: 9789810225667
ISBN: 9810225660
Untertitel: Sprache: Englisch.
Verlag: WORLD SCIENTIFIC PUB CO INC
Erscheinungsdatum: Oktober 2009
Seitenanzahl: 245 Seiten
Format: gebunden
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben