Name: the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés)
Price: 332.57 PEN
Availability: InStock
Author: Puccetti, Armand ; Brocard, D. ; Gagert, P.
ISBN: 9783540541882

portada the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés)

the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés)

Formato

Libro Físico

Ilustrado por

Contribuciones de

Editorial

Autor

Puccetti, Armand ; Brocard, D. ; Gagert, P.

Año

1991

Idioma

Inglés

N° páginas

341

Encuadernación

Tapa Blanda

Dimensiones

24.4 x 17.0 x 1.9 cm

Peso

0.56 kg.

ISBN

3540541888

ISBN13

9783540541882

Categorías

Programación informática/desarrollo de software
Arquitectura y diseño lógico de ordenadores

the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés)

Armand Puccetti (Ilustrado por) · D. Brocard (Contribuciones de) · P. Gagert (Contribuciones de) · Springer · Tapa Blanda

Libro Nuevo Importado

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

S/ 739,05S/ 332,57

-55%

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

Libro Nuevo

Quedan más de 100 unidades

S/ 332,57

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

Agregar a lista de deseos

Reseña del libro "the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés)"

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.