Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures

edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue (Springer, 2013)

Jenis Koleksi :	Buku Teks SO
No. Panggil :	004.01 FOR f


Entri utama-Nama pertemuan :	FMCO (International Symposium 11th), 2012 : Bertinoro, Italy
Entri tambahan-Nama orang :	Giachino, Elena, 1981-, editor Hähnle, Reiner, editor Boer, Frank S. de, editor Bonsangue, Marcello M., editor



Subjek :	Computer science
Penerbitan :	Heidelberg: Springer, 2013

No. Panggil	No. Barkod	Ketersediaan
004.01 FOR f	01-18-10821	TERSEDIA

Ulasan:

Tidak ada ulasan pada koleksi ini: 20510384

Buku Teks SO :: Kembali