Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000027739

Navigace: http://aleph22.vkol.cz/pub / svk01 / 00002xxxx / 0000277xx / 000027739.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

obálka/obal
ISBN3-540-54947-1 (brož) : 768.60
MDT681.3.06
HZ-Osobní jménoHooman, Jozef
Názvové údajeSpecification and Compositional Verification of Real-Time Systems
Nakladatel.údajeBerlin : Springer, 1991
Údaje fyz.popisu8, 235 s
Edice-jiná formaLecture Notes in Computer Science ; 558
Všeobecná pozn.Bibliogr. s. 229 - 235
VZ-Edice-Unif.náz. Lecture Notes in Computer Science
Sigla,sign.vlastn.OLA001 585.128
Předmět.heslaProgramování čas reálný verifikace kompoziční a specifikace
Počet exemplářů1