Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 9783540609391
Price: 50.13 EUR
Availability: InStock

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

Autor: Maurizio Proietti

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

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

Informácie o knihe

Autor

Maurizio Proietti

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1996

Stránok

274

EAN

9783540609391

ISBN

3540609393

Enbook ID

05274555

Vydavateľ

Springer, Berlin

Hmotnosť

378

Rozmery

156 x 234 x 15

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic Program Synthesis and Transformation

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Machiavelli and Epicureanism

Breathe

DOLPHINS AND WHALES Following my Passion

Cordova

False Memory

Modern Capitalist Culture

Beyond the Asterisk

Porsche 911 Carrera Service Manual 1995-1998

Trading Risk - Enhanced Profitability Through Risk Control

Studies in Plato and the Platonic Tradition

Septimus and the Danedyke Mystery

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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

Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations

Alpha - Tome 13 - Le Syndrome de Maracamba

AVUI M'HE COMPRAT UNA DESTRAL

Seide von Alessandro Baricco (Lekturehilfe)