Deutsch, Michael S., author
Software verification and validations
Prentice-Hall, 1982
 Buku Teks
Lewis, T.G. (Theodore Gyle), author
Software engineering : analysis and verification
Prentice-Hall, 1982
 Buku Teks
Kerstin Eder, editor
Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
Springer-Verlag, 2012
 eBooks
Software engineering metrics; Vol. I : measures and validations
edited by Martin Shepperd
McGraw-Hill, 1993
 Buku Teks
Studi tentang rekayasa dan verifikasi rigor menggunakan sdl dalam perancangan manajemen kegagalan sistem
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi (Membership)
<<   1 2 3   >>