Formal software development : From VDM to Java

Salvato in:
Dettagli Bibliografici
Autore principale: Charatan, Quentin
Natura: Libro
Lingua:Undetermined
Pubblicazione: New York Palgrave Macmillan 2004
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Documenti analoghi