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

Zapisane w:
Opis bibliograficzny
1. autor: Ana Cavalcanti, Dennis R. Dams (edición)
Format: Książka
Język:angielski
Wydane: Berlín, Alemania : Springer, 2009, c2009
Seria:(Lecture Notes in Computer Science)
Dostęp online:Ver documento en línea
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!