«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Logic-Based Program Synthesis and Transformation

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Elvira Albert
Código Libristo: 01663644
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Descripción completa
? points 127 b
52.09 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Próximamente Nuevo
Expertenwissen Nacken Marco Gassen / Libro Tapa blanda
common.buy 50.89 €
Einheit Auf Befehl? Sabine Collmer / Libro Tapa blanda
common.buy 58.09 €
Dieta a Base de Plantas Chantel Stephens / Libro Tapa blanda
common.buy 16.59 €
Les Bains de Mer de l'Algerie BERNARD-C / Libro Tapa blanda
common.buy 14.19 €
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Libro Tapa blanda
common.buy 18.89 €

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic-Based Program Synthesis and Transformation
Autor Elvira Albert
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 245
EAN 9783642381966
ISBN 3642381960
Código Libristo 01663644
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 454
Dimensiones 155 x 235 x 15

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Matemáticas y ciencias > Matemáticas > Matemáticas discretas
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Fading Light Chris Steele-Perkins / Libro Tapa dura
common.buy 33.79 €
What Makes Cannabis Recipes Work? Ronald E. Hudkins / Libro electrónico Adobe ePub DRM
common.buy 5.39 €
U.S.-Taiwan Relations Bonnie Glaser / Libro Tapa blanda
common.buy 37.39 €
Steam Trains Today Andrew Martin / Libro Tapa blanda
common.buy 15.09 €
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Libro Tapa blanda
common.buy 41.09 €
History of World Egyptology Andrew Bednarski / Libro Tapa dura
common.buy 223.49 €
Practical User Research Emmanuelle Savarit / Libro Tapa blanda
common.buy 55.19 €
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Libro Tapa dura
common.buy 40.69 €
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Libro Tapa blanda
common.buy 47.19 €
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Libro Tapa blanda
common.buy 8.09 €
Popular
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Libro Tapa blanda
common.buy 14.29 €
Ghosts - Notes from a Field Study Ken Lauter / Libro Tapa blanda
common.buy 21.99 €
High Point of Persistence Hilary White / Libro Tapa blanda
common.buy 27.09 €
Foundations in Sociolinguistics Dell Hymes / Libro Tapa dura
common.buy 378.69 €
Guide to Magistrates Mayo / Libro Tapa blanda
common.buy 51.79 €
In the Museum of Man Alice L Conklin / Libro Tapa dura
common.buy 170.19 €
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Libro Tapa blanda
common.buy 56.59 €
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Libro Tapa blanda
common.buy 17.89 €
Clinical CT Suzanne Henwood / Libro Tapa blanda
common.buy 77.39 €
Autonomy in Jewish Philosophy Kenneth Seeskin / Libro Tapa blanda
common.buy 46.69 €
All Elevations Unknown Sam Lightner / Libro Tapa blanda
common.buy 17.09 €
Influenza Virus Yoshihiro Kawaoka / Libro Tapa dura
common.buy 165.79 €
The Archaeology of Political Spaces Dominik Bonatz / Libro Tapa dura
common.buy 108.59 €
Aspects of Physical Biology Giancarlo Franzese / Libro Tapa dura
common.buy 60.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?