FM'99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

FM'99 - Formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

Detalles Bibliográficos
Autor Corporativo: World Congress on Formal Methods in the Development of Computing Systems (-)
Otros Autores: Wing, Jeanette M., editor literario (editor literario), Woodcock, Jim, editor literario, Davies, Jim, editor literario
Formato: Libro
Idioma:Inglés
Publicado: New York [etc.] : Springer-Verlag 1999
Colección:Lecture Notes in Computer Science ; 1709
Materias:
Programas y sistemas de programación > Congresos, conferencias, etc.
Ver en Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991000341889708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Descripción
Descripción Física:v. II (XVIII, 939-1875 p.) ; 24 cm
ISBN:9783540665885

Ejemplares similares