Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 2 dokumen yang sesuai dengan query
cover
Apt, Krzysztof R., author
Verification of sequential and concurrent programs
New York: Springer-Verlag, 1991
005.1 APT v
Buku Teks  Universitas Indonesia Library
cover
Apt, Krzysztof R., author
Principles of constraint programming
New York: Cambridge University Press, 2003
005.116 KRZ p
Buku Teks  Universitas Indonesia Library