Treffer: Specification and compositional verification of real time systems
Titel:
Verantwortlich:
Veröffentlicht:
Berlin [u.a.] : Springer, 1991
Umfang:
VIII, 235 S.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 558
alle Bände anzeigen
alle Bände anzeigen
Schlagworte:
ISBN:
3540549471 ; 0387549471
Lokale Klassifikationen: