fme '93: industrial-strength formal methods: first international symposium of formal methods europe, odense, denmark, april 19-23, 1993. proceedings
Woodcock, James C. P. (Autor) · springer · Libro Físico
Sin Stock¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.