Name: eclipse environment for z
SKU: 3488042
Price: 38614.00 CRC
Availability: InStock
Author: chengdong xu
ISBN: 9783639036992

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

vdm verlag dr. muller aktiengesells

Autor

chengdong xu

N° páginas

168

ISBN

3639036999

ISBN13

9783639036992

Categorías

Tecnología de la información: cuestiones generales

eclipse environment for z

Chengdong Xu (Autor) · vdm verlag dr. muller aktiengesells · Libro Físico

Libro Nuevo Importado

Envío: 13 a 18 días háb.

₡ 38.614

Costos de importación y 13% IVA incluídos en el precio ✅

Libro Nuevo

Quedan 40 unidades

₡ 38.614

Llega entre el 22 Oct y el 02 Nov a Costa Rica. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "eclipse environment for z"

this book reports on the design, implementation and evaluation of a new interactive z environment that is integrated into the eclipse environment. the z language is a formal specification notation that is used to describe and model computer-based systems.