Computer-aided specification techniques /

Spremljeno u:
Bibliografski detalji
Glavni autor: Demetrovics, János.
Daljnji autori: Knuth, E. 1943-, Radó, Péter.
Format: Sách giấy
Izdano: Singapore : World Scientific, c1985.
Serija:Series in computer science ; vol. 1
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Opis
Opis:ix, 114 p. : ill. ; 24 cm.
Bibliografija:Bibliography: p. 110-114.
ISBN:9971978539