Formal methods and software engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Main Author: | Toshiaki Aoki, editor |
---|---|
Format: | Book Bachelors |
Terbitan: |
Springer-Verlag
, 2012
|
Subjects: | |
Online Access: |
http://lib.ui.ac.id/file?file=digital/2015-8/20407818-Formal Methods and Software Engineering.pdf |
Internet
http://lib.ui.ac.id/file?file=digital/2015-8/20407818-Formal Methods and Software Engineering.pdfLokasi
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. |