Hasil Pencarian

Ditemukan 26712 dokumen yang sesuai dengan query 20410465
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures
Pengarang : Tidak ada pengarang
No. Panggil : e20410465
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
Pengarang : Tidak ada pengarang
No. Panggil : 004.01 FOR f
Jenis Koleksi : Buku Teks SO
Lokasi : Universitas Indonesia Library
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
Pengarang : Tidak ada pengarang
No. Panggil : e20409160
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Pengarang : Aoki, Toshiaki, editor
No. Panggil : e20407818
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings
Pengarang : Tidak ada pengarang
No. Panggil : e20407834
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
Pengarang : Tidak ada pengarang
No. Panggil : e20410082
Jenis Koleksi : eBooks
Lokasi : Universitas Indonesia Library
<<   1 2 3 4 5   >>