Specification and compositional verification of real-time systems:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hooman, Jozef J. M. (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Berlin u.a. Springer 1991
Schriftenreihe:Lecture notes in computer science 558
Schlagworte:
Beschreibung:VIII, 235 S.
ISBN:3540549471
0387549471

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!