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)

Collection Type :	Buku Teks SO
Call Number :	004.01 FOR f


Main entry-Meeting name :	FMCO (International Symposium 11th), 2012 : Bertinoro, Italy
Additional entry-Personal name :	Giachino, Elena, 1981-, editor Hähnle, Reiner, editor Boer, Frank S. de, editor Bonsangue, Marcello M., editor



Subject :	Computer science
Publishing :	Heidelberg: Springer, 2013

Call Number	Barcode Number	Availability
004.01 FOR f	01-18-10821	TERSEDIA

Review:

No review available for this collection: 20510384

Buku Teks SO :: Back