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

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Karin Breitman, Ana Cavalcanti (edición)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2009, c2009
Serier:(Lecture Notes in Computer Science)
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!