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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 972 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Elektrolytkondensatoren Hans Betz / Book Hardback
common.buy 45 978 Ft
Majka Karel Čapek / Book Hardback
common.buy 7 709 Ft
Intensivkurs Anatomie Ingo Steinbrück / Book Paperback
common.buy 41 094 Ft
Changer le monde - Manuel d'activisme pour reprendre le pouvoir Sarah Durieux / Book Paperback
common.buy 6 911 Ft
ALLELUIA CANTATE DOMINO MUSIQUE D'ENSEMBLE JOSEPH SCHWANTNER / Printed items Sheet music
common.buy 6 415 Ft
Formulaire de maths Rombaldi / Book Paperback
common.buy 9 355 Ft
SAARLAND 2 MAPY 1:50 000 / Book Book
common.buy 6 735 Ft
Entspannte Fantasiereisen für gefühlsstarke Kinder / Book Paperback
common.buy 7 384 Ft
Sprachwandel Dieter Cherubim / Book Hardback
common.buy 47 008 Ft
"On the Highway": Analiticheskoe chtenie v tvorcheskom vuze Larisa Ahmylovskaya / Book Paperback
common.buy 21 475 Ft
Top
PACO Y VIVALDI MAGALI LE HUCHE / Book Paperback
common.buy 5 325 Ft
El fabricant de petons i altres relats Pagès Fortuny / Book Paperback
common.buy 7 709 Ft
My Math Spanish Student Edition Package Grade 3 McGraw Education / Book Hardback
common.buy 23 562 Ft
Algebra Lineal I - Esquemas De Teoria Y Problemas Resueltos Mercedes Orus Lacort / Book Paperback
common.buy 42 258 Ft
Afrikanische Kunst Ferdinand Herrmann / Book Paperback
common.buy 14 221 Ft
Friedrich Schiller Peter-André Alt / Book Paperback
common.buy 3 502 Ft
Schule für die Altblockflöte Franz J. Giesbert / Printed items Sheet music
common.buy 8 353 Ft

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 68 274 Ft
Representations of Gender on the Nineteenth-century American Stage Sherry Caldwell / Book Paperback
common.buy 15 018 Ft
Recent Advances in Toxoplasmosis Research Connor M Lee / Book Hardback
common.buy 75 408 Ft
Flight of the Eagle. [A Novel.] Standish James O'Grady / Book Paperback
common.buy 9 856 Ft
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 7 356 Ft
Sohrab Sepehri Bahiyeh Afnan Shahid / Book Hardback
common.buy 9 341 Ft
Home Cooking Laurie Colwin / Book Paperback
common.buy 5 325 Ft
Diary of a Wimpy Kid Box of Books 1-4 Jeff Kinney / Book Hardback
common.buy 17 681 Ft
Quaint Cats Grayscale Adult Coloring Book Olde Glorie Studios / Book Paperback
common.buy 3 279 Ft
Jackie and The Dreamstalk Duane C Wilson / Book Paperback
common.buy 5 705 Ft
Maintainable JavaScript Nicholas Zakas / Book Paperback
common.buy 11 929 Ft
Digging a Hole Mimi Jean Pamfiloff / Book Paperback
common.buy 5 102 Ft
Gutsy Girls Go for Science: Programmers: With STEM Projects for Kids Karen Bush Gibson / Book Hardback
common.buy 7 222 Ft
Forest Matt Collins / Book Hardback
common.buy 9 768 Ft
Media Culture Douglas Kellner / Book Hardback
common.buy 79 675 Ft
Buses of Shropshire and Mid Wales John Law / Book Paperback
common.buy 8 854 Ft
Adventures of Larry the Hot Dog Storybooks / Book Hardback
common.buy 8 516 Ft
Spot The Differences Puzzle Pals / Book Paperback
common.buy 5 325 Ft
That They May Face the Rising Sun John McGahern / Book Paperback
common.buy 4 105 Ft
Electromagnetic Field Computation by Network Methods Leopold B. Felsen / Book Hardback
common.buy 41 846 Ft
The Casus Codicis of Wilhelmus de Cabriano Tammo Wallinga / Book Hardback
common.buy 37 755 Ft
Business Teacher's Resource John Allison / Video Video
common.buy 9 606 Ft
How to Draw and Paint Figures & Landscapes Vincent Milne / Book Hardback
common.buy 6 090 Ft
Horrid Henry Early Reader: Horrid Henry Gets Rich Quick Francesca Simon / Book Paperback
common.buy 3 307 Ft

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?