Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (edición)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2007, c2007
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ø!