Formal software development : From VDM to Java

Spremljeno u:
Bibliografski detalji
Glavni autor: Charatan, Quentin
Format: Knjiga
Jezik:Undetermined
Izdano: New York Palgrave Macmillan 2004
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ