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: 46.74 USD
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

Más barato Libro Nuevo Origen: Estados Unidos

Envío: 6 a 8 días háb.

$ 54.99$ 46.74

-15%

Más rápido Libro Nuevo Origen: Estados Unidos

Envío Rápido

$ 61.86$ 58.22

-6%

Libro Nuevo Más barato

Quedan más de 100 unidades

$ 46.74