9780387566627 - fme '93: industrial-strength formal methods : first international symposium of formal methods europe odense, denmark, april 19-23, 1993 proceedings (lecture notes in computer science, 670) de international symposium of formal methods europe 1993 odense, denmark; woodcock, j. c. p. (1 resultados)

ISBN

Filtrar la búsqueda

  • Libros (1)

a

Intervalo de precios personalizado (EUR)

a