> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Specification and compositional verification of real-time systems Beteiligte: Hooman, Jozef J. [VerfasserIn]; Hooman, Jozef [Sonstige Person, Familie und Körperschaft] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1991 Erschienen in: Lecture notes in computer science ; 558 Umfang: VIII, 235 S. Sprache: Englisch ISBN: 3540549471; 0387549471 RVK-Notation: SS 4800 : Lecture notes in computer science ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Schlagwörter: Echtzeitsystem > Softwarespezifikation > Programmverifikation Entstehung: Hochschulschrift: Zugl.: Eindhoven, Techn. Univ., Diss., 1991 Anmerkungen: Literaturverz. S. [229] - 235 Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: 0892 80256 001 Barcode: 10015745 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.