Ditemukan 12 dokumen yang sesuai dengan query
New York: Cambridge university press, 2008
005.133 MOD
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial...
Berlin: Springer-Verlag, 2012
e20409188
eBooks Universitas Indonesia Library
