Computer-aided specification techniques /

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Demetrovics, János.
Muut tekijät: Knuth, E. 1943-, Radó Péter.
Aineistotyyppi: Sách giấy
Julkaistu: Singapore : World Scientific, c1985.
Sarja:Series in computer science ; vol. 1
Aiheet:
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt