Formal Techniques for Distributed Systems electronic resource : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / edited by John Hatcliff, Elena Zucca

Författare: Netherlands) 2010 : (12th International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam
Språk: Okänt

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