Computer-aided specification techniques /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Demetrovics, János.
Övriga upphovsmän: Knuth, E. 1943-, Radó Péter.
Materialtyp: Sách giấy
Publicerad: Singapore : World Scientific, c1985.
Serie:Series in computer science ; vol. 1
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt