Name: 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)
Price: 204.61 PEN
Availability: InStock
Author: bjorner, dines
ISBN: 9783540525134

Selecciona tu país

América

Europa

Resto del mundo

portada 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)

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)

Formato

Libro Físico

Editorial

springer

Autor

bjorner, dines

Año

1990

Idioma

Inglés

N° páginas

604

ISBN

3540525130

ISBN13

9783540525134

Categorías

Arquitectura y diseño lógico de ordenadores

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

Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 454,68S/ 204,61

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 204,61

Llega entre el 14 Jul y el 22 Jul a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos