B-DAYS final hasta 60% OFF en importados desde 20:00 a 00:00 horas  Ver más

Enviar a
C.A.B.A., Ciudad Autónoma de Buenos Aires
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada logic program synthesis and transformation: proceedings of lopstr 93, international workshop on logic program synthesis and transformation, louvain-la (en Inglés)
Formato
Libro Físico
Ilustrado por
Editorial
Autor
Año
1994
Idioma
Inglés
N° páginas
245
Encuadernación
Tapa Blanda
Dimensiones
23.4x15.6x1.4 cm
Peso
0.37 kg.
ISBN
3540198644
ISBN13
9783540198642
Categorías

logic program synthesis and transformation: proceedings of lopstr 93, international workshop on logic program synthesis and transformation, louvain-la (en Inglés)

Yves Deville (Ilustrado por) · Springer · Tapa Blanda

logic program synthesis and transformation: proceedings of lopstr 93, international workshop on logic program synthesis and transformation, louvain-la (en Inglés) - Deville, Yves

Libro Nuevo Importado
Envío: 14 a 20 días háb.
$ 199.500$ 79.800
-60%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 79.800
Llega entre el 18 Sep y el 28 Sep a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "logic program synthesis and transformation: proceedings of lopstr 93, international workshop on logic program synthesis and transformation, louvain-la (en Inglés)"

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop- ment including: deductive synthesis, inductive synthesis, transforma- tions for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), meta- programming languages and tool support, and various extensions to Prolog-like languages, admitting non-Horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties.

Opiniones del libro

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.

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

La encuadernación de esta edición es Tapa Blanda.

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