Name: the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés)
Price: 194957.00 ARS
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)

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

$ 194.957

$ 243.696

Ahorras: $ 48.739

20% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 05 de Agosto y el Miércoles 14 de Agosto.

Lo recibirás en cualquier lugar de Argentina entre 1 y 3 días hábiles luego del envío.

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.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

the programming and proof system ates: advanced techniques integration into efficient scientific software (en Inglés) - Puccetti, Armand ; Brocard, D. ; Gagert, P.

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

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre