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
$ 130.206
$ 162.757
Ahorras: $ 32.551
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listas¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.