Formal Techniques for Distributed Systems electronic resource : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / edited by Roberto Bruni, Juergen Dingel

Författare: Iceland) 2011 : (31st International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavík
Språk: Okänt

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