Name: program development by specification and transformation (en Inglés)
Price: 157171.00 ARS
Availability: InStock
ISBN: 9783540567332

portada program development by specification and transformation (en Inglés)

program development by specification and transformation (en Inglés)

Formato

Libro Físico

Editorial

Springer

Idioma

Inglés

N° páginas

623

ISBN

354056733X

ISBN13

9783540567332

Categorías

Programación informática/desarrollo de software

program development by specification and transformation (en Inglés)

Libro Nuevo Importado

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

$ 314.342$ 157.171

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 157.171

Llega entre el 08 Jul y el 20 Jul a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "program development by specification and transformation (en Inglés)"

this volume gives a coherent presentation of the outcome of the project prospectra (program development by specification and transformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. the results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program development and formalization of the development process itself, and a prototype development system supporting structure editing, incremental static-semantic checking, interactive context-sensitivetransformation and verification, development of transformation (meta-) programs, version management, and so on, with an initial libraryof specifications and a sizeable collection of implemented transformations. the intended audience for this documentation is the academic community working in this and related areas and those members of the industrial community interested in the use of formal methods.

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 frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

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