Formal Specification and Software Development /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Bjørner, Dines, 1937- (Autor), Jones, C. B. 1944- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Englewood Cliffs : Prentice Hall, 1982.
Edice:Prentice-Hall international series in computer science
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 R97 4200500594