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
$ 1,512.04
$ 2,520.06
Ahorras: $ 1,008.02
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.