Kniha Logic Program Synthesis and Transformation Maurizio Proietti

Logic Program Synthesis and Transformation

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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
1996
Stránek
274
EAN
9783540609391
ISBN
3540609393
Enbook ID
05274555
Vydavatel
Hmotnost
378
Rozměry
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 zajímat

Breathe

Peter Maguire
468

Cordova

Cathy R. Sherman with Photographs from T
541

False Memory

Tony Lopez
380
5 128

Beyond the Asterisk

Heather J. Shotton
1 269

Zákaznicí kteří koupili tuto knihu koupili také