Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Logic Program Synthesis and Transformation

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

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

Maurizio Proietti

Limba

engleză

Carte Carte broșată

Codul Libristo: 05274555

Editura Springer, Berlin, noiembrie 1995

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Descrierea completă

Codul Libristo: 05274555

132 b

284.91 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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

Copertă tare

1 148.19 lei

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

Carte broșată

75.09 lei

Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri

Copertă tare

95.55 lei

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA

Carte broșată

130.45 lei

Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon

Adobe ePub DRM

59.72 lei

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.