Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic Program Synthesis and Transformation

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

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

Maurizio Proietti

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05274555

Založba Springer, Berlin, november 1995

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

Koda Libristo: 05274555

118 b

48.76 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Trda

197.18 €

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

Mehka

13.01 €

Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri

Trda

16.65 €

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA

Mehka

22.51 €

Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon

Adobe ePub DRM

10.19 €

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.