Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /

Zapisane w:
Opis bibliograficzny
1. autor: Karin Breitman, Ana Cavalcanti (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!