Ditemukan 9984 dokumen yang sesuai dengan query
Lewis, T.G. (Theodore Gyle)
Reston: Prentice-Hall, 1982
621.39 LEW s
Buku Teks Universitas Indonesia Library
Fairley, Richard E.
New York: McGraw-Hill, 1985
001.642 FAI s
Buku Teks SO Universitas Indonesia Library
Deutsch, Michael S.
Englewood Cliffs, NJ: Prentice-Hall, 1982
005.3 DEU s
Buku Teks Universitas Indonesia Library
Pressman, Roger S.
New York : McGraw-Hill, 1997
001.642 PRE s
Buku Teks SO Universitas Indonesia Library
Pressman, Roger S.
New York: McGraw-Hill, 1982
001.642 PRE s
Buku Teks SO Universitas Indonesia Library
Pressman, Roger S.
New York: McGraw-Hill, 1982
001.642 PRE s
Buku Teks SO Universitas Indonesia Library
Booch, Grady
Menlo Park CA: Benjamin Cumming, 1983
005.133 BOO s
Buku Teks Universitas Indonesia Library
Booch, Grady
Menlo Park CA: Benjamin Cumming, 1967
005.133 BOO s
Buku Teks Universitas Indonesia Library
Kerstin Eder, editor
"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
"
Berlin: Springer-Verlag, 2012
e20407813
eBooks Universitas Indonesia Library
Amsterdam: North-Holland, 1981
001.642 SOF
Buku Teks Universitas Indonesia Library
