FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Ana Cavalcanti, Dennis R. Dams (edición)
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: Berlín, Alemania : Springer, 2009, c2009
Saila:(Lecture Notes in Computer Science)
Sarrera elektronikoa:Ver documento en línea
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!