zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Specification and compositional verification of real time systems / J. Hooman
Verfasser
Hooman, Jozef J. M.
Erschienen
Berlin [u.a.] : Springer,
1991
Umfang
VIII, 235 S.
Hochschulschrift
Zugl.: Eindhoven, Techn. Univ., Diss.
Serie
Lecture notes in computer science ; 558
Schlagwörter
Echtzeitsystem
/
Softwarespezifikation
/
Programmverifikation
ISBN
3-540-54947-1
ISBN
0-387-54947-1
Links
Download
Specification and compositional verification of real time systems [0,35 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes