Program design which is provably correct /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Martin, James, 1933-2013 (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Carnforth : Savant research studies, 1982.
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 F4 4200500824