Cover Image

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

Main Author: Marco Bernardo, editor
Format: Book Bachelors
Terbitan: [, Springer-Verlag] , 2012
Subjects:
Formal methods (computer science) > Congresses
Engineering > Mathematical models > Congresses
Computer-aided engineering > Congresses
Online Access: http://lib.ui.ac.id/file?file=digital/2015-11/20410465-Formal Methods for Model-Driven Engineering.pdf

Internet

http://lib.ui.ac.id/file?file=digital/2015-11/20410465-Formal Methods for Model-Driven Engineering.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