Real-time systems : specification, verification and analysis /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Joseph, M., 1943- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : Prentice-Hall, c1996.
Edice:Prentice Hall International Series in Computer Sience
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky N331 4200502273