Zur Seitenansicht
 

Titelaufnahme

Titel
Specification and compositional verification of real time systems / J. Hooman
VerfasserHooman, Jozef J. M. In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Jozef J. M. Hooman
ErschienenBerlin [u.a.] : Springer, 1991
UmfangVIII, 235 S.
HochschulschriftZugl.: Eindhoven, Techn. Univ., Diss.
SerieLecture notes in computer science ; 558
SchlagwörterEchtzeitsystem In Wikipedia suchen nach Echtzeitsystem / Softwarespezifikation In Wikipedia suchen nach Softwarespezifikation / Programmverifikation In Wikipedia suchen nach Programmverifikation
ISBN3-540-54947-1
ISBN0-387-54947-1
Links
Download Specification and compositional verification of real time systems [0,35 mb]
Nachweis
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)