Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05274555
Price: 53.79 EUR
Availability: InStock
Author: Maurizio Proietti
ISBN: 9783540609391

5th International Workshop, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Maurizio Proietti

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274555

Casa editrice Springer, Berlin, novembre 1995

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Descrizione completa

Codice Libristo: 05274555

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur Georg Stötzel

Rigido

216.89 €

Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations GONDRET-L-F

In brossura

14.19 €

Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri

Rigido

18.79 €

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA

In brossura

24.59 €

Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon

Adobe ePub DRM

11.89 €

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic Program Synthesis and Transformation

Autore Maurizio Proietti

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1996

Numero di pagine 274

EAN 9783540609391

ISBN 3540609393

Codice Libristo 05274555

Casa editrice Springer, Berlin

Peso 378

Dimensioni 156 x 234 x 15

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale