Computer-aided specification techniques /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Demetrovics, János.
Další autoři: Knuth, E. 1943-, Radó, Péter.
Médium: Sách giấy
Vydáno: Singapore : World Scientific, c1985.
Edice:Series in computer science ; vol. 1
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt