Cover Image

Runtime verification second international conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011 : revised selected papers

Main Author: Sarfraz Khurshid, editor
Format: Book Bachelors
Terbitan: [, Springer-Verlag] , 2012
Subjects:
Computer software > Verification > Congresses
Formal methods (Computer science) > Congresses
Computer software > Testing > Congresses
Online Access: http://lib.ui.ac.id/file?file=digital/2015-9/20409040-Runtime Verification.pdf

Internet

http://lib.ui.ac.id/file?file=digital/2015-9/20409040-Runtime Verification.pdf

Lokasi

Koleksi Repository Skripsi (open) Universitas Indonesia
Gedung Perpustakaan Universitas Indonesia
Institusi Universitas Indonesia
Kota KOTA DEPOK
Provinsi JAWA BARAT
Kontak Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini.

Lihat Juga