Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 2 dokumen yang sesuai dengan query
cover
The Soviet Navy: strengths and liabilities / edited by Bruce W. Watson and Susan M. Watson
Boulder, Colorado: Westview Press, 1986
359.009 47 SOV
Buku Teks  Universitas Indonesia Library
cover
The correctness-by-construction approach to programming
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that...
Berlin: Springer-Verlag, 2012
e20409956
eBooks  Universitas Indonesia Library