Menu
Află starea comenzii
Contactați-ne
Carte Logic Program Synthesis and Transformation Maurizio Proietti

Logic Program Synthesis and Transformation

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

Autor: Maurizio Proietti
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.72 lei
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy...

Informații despre carte

Autor
Maurizio Proietti
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
1996
Pagini
274
EAN
9783540609391
ISBN
3540609393
Enbook ID
05274555
Editura
Springer, Berlin
Greutate
378
Dimensiuni
156 x 234 x 15

Descriere completă

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.

S-ar putea să te intereseze

Studies in Plato and the Platonic Tradition

Mark Joyal
1 109.95 lei

Breathe

Peter Maguire
116.41 lei

DOLPHINS AND WHALES Following my Passion

Hannah E Hunter
103.10 lei

Cordova

Cathy R. Sherman with Photographs from T
132.76 lei

False Memory

Tony Lopez
92.40 lei

Modern Capitalist Culture

Leslie A. White
1 227.58 lei

Beyond the Asterisk

Heather J. Shotton
300.23 lei

Porsche 911 Carrera Service Manual 1995-1998

Bentley Publishers
878.61 lei

Trading Risk - Enhanced Profitability Through Risk Control

Kenneth L. Grant
379.02 lei

Septimus and the Danedyke Mystery

Stephen Chance
74.55 lei

Clienții care au cumpărat această carte au mai cumpărat și

Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur

Georg Stötzel
1 115.19 lei

Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations

GONDRET-L-F
72.93 lei

Alpha - Tome 13 - Le Syndrome de Maracamba

Jigounov Iouri
92.81 lei

AVUI M'HE COMPRAT UNA DESTRAL

RUPPMANN TOBELLA
126.70 lei

Seide von Alessandro Baricco (Lekturehilfe)

Catherine Bourguignon
58.00 lei