Cover Image

Formal techniques for distributed systems joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings

Main Author: Holger Giese. editor
Format: Book Thesis
Terbitan: [Springer, ] , 2012
Subjects:
Electronic data processing > Distributed processing > Congresses
Formal methods (computer science) > Congresses
Online Access: http://lib.ui.ac.id/file?file=digital/2015-9/20409155-Formal Modeling and Analysis of Timed Systems.pdf

Internet

http://lib.ui.ac.id/file?file=digital/2015-9/20409155-Formal Modeling and Analysis of Timed Systems.pdf

Lokasi

Koleksi contoh Repository Tesis (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