Formal software development : From VDM to Java

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Charatan, Quentin
Format: Knjiga
Jezik:Undetermined
Izdano: New York Palgrave Macmillan 2004
Teme:
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ