Formal software development : From VDM to Java

Đã lưu trong:
Bibliografiske detaljer
Hovedforfatter: Charatan, Quentin
Format: Bog
Sprog:Undetermined
Udgivet: New York Palgrave Macmillan 2004
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ