Zur Seitenansicht

Titelaufnahme

    Titel
    Specification and compositional verification of real time systems / J. Hooman
    VerfasserHooman, Jozef J. M.
    ErschienenBerlin [u.a.] : Springer, 1991
    UmfangVIII, 235 S.
    HochschulschriftZugl.: Eindhoven, Techn. Univ., Diss.
    Serie
    Lecture notes in computer science ; 558
    SchlagwörterEchtzeitsystem / Softwarespezifikation / Programmverifikation
    ISBN3-540-54947-1
    ISBN0-387-54947-1
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes