Formal Techniques for Distributed Systems electronic resource : 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 / edited by Holger Giese, Grigore Rosu

Författare: Sweden) 2012 : (14th International Conference on Formal Methods for Open Object-Based Distributed Systems Stockholm
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat