Formal software development : From VDM to Java

Uloženo v:
Podrobná bibliografie
Hlavní autor: Charatan, Quentin
Médium: Kniha
Jazyk:Undetermined
Vydáno: New York Palgrave Macmillan 2004
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ