cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Logic-Based Program Synthesis and Transformation

Tapa de Logic-Based Program Synthesis and Transformation

Número de Cutter-SanbornA457lEntrada «Alpi» → 457 · marca de obra “l”

Logic-Based Program Synthesis and Transformation

de María Alpuente

Materias

Logic design
Software engineering
Algorithms
Computer science
Artificial intelligence
Logic programming
Logics and Meanings of Programs
Programming Techniques
Artificial Intelligence (incl. Robotics)

Ediciones (2)

Logic-Based Program Synthesis and Transformation — María Alpuente | Cutter Number

Logic-Based Program Synthesis and Transformation (2013)
Springer · ISBN 9783642205521
Logic-Based Program Synthesis and Transformation (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642205507

Más obras de María Alpuente

AAutomated specification and verification of web systems

Automated specification and verification of web systems

SStatic Analysis

Static Analysis

FFormal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Ver todas las obras de María Alpuente →