vdm '90. vdm and z - formal methods in software development: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings (en Inglés)
bjorner, dines
vdm '90. vdm and z - formal methods in software development: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings (en Inglés)
Bjorner, Dines (Autor) · springer · Libro Físico
$ 78.96
$ 157.92
Ahorras: $ 78.96
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listasvdm '90. vdm and z - formal methods in software development: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings (en Inglés)
bjorner, dines
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
