Logic Program Synthesis and Transformation

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

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

Автор: Maurizio Proietti

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад в ограничено количество

Изпращаме след 11-15 дни

59.36 € 116.09 лв

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

Информация за книгата

Автор

Maurizio Proietti

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

274

EAN

9783540609391

ISBN

3540609393

Enbook ID

05274555

Издател

Springer, Berlin

Теглоt

378

Размери

156 x 234 x 15

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic Program Synthesis and Transformation

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

Информация за книгата

Пълно описание

Може също да ви хареса

Studies in Plato and the Platonic Tradition

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

Septimus and the Danedyke Mystery

Клиенти, които купиха тази книга, купиха също

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)