A programming approach to formal methods /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Casey, Chris (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : McGraw-Hill Book Company, c1994.
Témata:
Popis
Fyzický popis:xii, 262 s.
ISBN:0-07-707968-X