Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Logic Program Synthesis and Transformation

6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996. Proceedings

Language EnglishEnglish
Book Paperback
Book Logic Program Synthesis and Transformation John Gallagher
Libristo code: 05274682
Publishers Springer, Berlin, November 1996
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Wor... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Elektrolytkondensatoren Hans Betz / Book Hardback
common.buy 119.95 €
Majka Karel Čapek / Book Hardback
common.buy 20.29 €
Intensivkurs Anatomie Ingo Steinbrück / Book Paperback
common.buy 119.89 €
Changer le monde - Manuel d'activisme pour reprendre le pouvoir Sarah Durieux / Book Paperback
common.buy 20.09 €
ALLELUIA CANTATE DOMINO MUSIQUE D'ENSEMBLE JOSEPH SCHWANTNER / Printed items Sheet music
common.buy 18.59 €
Formulaire de maths Rombaldi / Book Paperback
common.buy 27.09 €
SAARLAND 2 MAPY 1:50 000 / Book Book
common.buy 19.49 €
Entspannte Fantasiereisen für gefühlsstarke Kinder / Book Paperback
common.buy 19.99 €
Sprachwandel Dieter Cherubim / Book Hardback
common.buy 126.09 €
"On the Highway": Analiticheskoe chtenie v tvorcheskom vuze Larisa Ahmylovskaya / Book Paperback
common.buy 57.69 €
Top
PACO Y VIVALDI MAGALI LE HUCHE / Book Paperback
common.buy 14.79 €
El fabricant de petons i altres relats Pagès Fortuny / Book Paperback
common.buy 22.29 €
My Math Spanish Student Edition Package Grade 3 McGraw Education / Book Hardback
common.buy 63.79 €
Algebra Lineal I - Esquemas De Teoria Y Problemas Resueltos Mercedes Orus Lacort / Book Paperback
common.buy 114.19 €
Afrikanische Kunst Ferdinand Herrmann / Book Paperback
common.buy 38.29 €
Friedrich Schiller Peter-André Alt / Book Paperback
common.buy 10.29 €
Schule für die Altblockflöte Franz J. Giesbert / Printed items Sheet music
common.buy 24.19 €

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic Program Synthesis and Transformation
Author John Gallagher
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 331
EAN 9783540627180
ISBN 3540627189
Libristo code 05274682
Publishers Springer, Berlin
Weight 438
Dimensions 156 x 234 x 18

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Global Biodiversity T. Pullaiah / Book Hardback
common.buy 189.69 €
Representations of Gender on the Nineteenth-century American Stage Sherry Caldwell / Book Paperback
common.buy 40.69 €
Recent Advances in Toxoplasmosis Research Connor M Lee / Book Hardback
common.buy 209.39 €
Flight of the Eagle. [A Novel.] Standish James O'Grady / Book Paperback
common.buy 26.39 €
Memoir on the Countries about the Caspian and Aral Seas, Illustrative of the Late Russian Expedition Against Khi Vah. Translated from the German by Ca Carl Zimmermann / Book Paperback
common.buy 19.89 €
Sohrab Sepehri Bahiyeh Afnan Shahid / Book Hardback
common.buy 25.09 €
Home Cooking Laurie Colwin / Book Paperback
common.buy 14.29 €
Diary of a Wimpy Kid Box of Books 1-4 Jeff Kinney / Book Hardback
common.buy 47.39 €
Quaint Cats Grayscale Adult Coloring Book Olde Glorie Studios / Book Paperback
common.buy 8.79 €
Jackie and The Dreamstalk Duane C Wilson / Book Paperback
common.buy 15.39 €
Maintainable JavaScript Nicholas Zakas / Book Paperback
common.buy 31.99 €
Digging a Hole Mimi Jean Pamfiloff / Book Paperback
common.buy 13.79 €
Gutsy Girls Go for Science: Programmers: With STEM Projects for Kids Karen Bush Gibson / Book Hardback
common.buy 20.49 €
Forest Matt Collins / Book Hardback
common.buy 26.19 €
Media Culture Douglas Kellner / Book Hardback
common.buy 215.89 €
Buses of Shropshire and Mid Wales John Law / Book Paperback
common.buy 23.79 €
Adventures of Larry the Hot Dog Storybooks / Book Hardback
common.buy 22.99 €
Spot The Differences Puzzle Pals / Book Paperback
common.buy 14.29 €
That They May Face the Rising Sun John McGahern / Book Paperback
common.buy 11.39 €
Electromagnetic Field Computation by Network Methods Leopold B. Felsen / Book Hardback
common.buy 118.29 €
The Casus Codicis of Wilhelmus de Cabriano Tammo Wallinga / Book Hardback
common.buy 109.99 €
Business Teacher's Resource John Allison / Video Video
common.buy 28.19 €
How to Draw and Paint Figures & Landscapes Vincent Milne / Book Hardback
common.buy 16.89 €
Horrid Henry Early Reader: Horrid Henry Gets Rich Quick Francesca Simon / Book Paperback
common.buy 9.19 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?