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 69.99 €
DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic-Based Program Synthesis and Transformation Pierre Flener
Libristo code: 05274933
Publishers Springer, Berlin, November 1998
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Worksh... Full description
? points 118 b
48.50 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault / Book Paperback
common.buy 33.94 €
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Book Paperback
common.buy 57.34 €
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Book Paperback
common.buy 30.02 €
Top
Fullmetal Alchemist 18 Hiromu Arakawa / Book Paperback
common.buy 8.12 €
Top
B-Grammatik Anne Buscha / Book Paperback
common.buy 21.48 €
Lass uns reden! Chiara Colucci / Game/Toy Game
common.buy 18.27 €
Free Elections W.J.M. Mackenzie / Book Hardback
common.buy 150.94 €
5 Towers (Deep Print Games) / Game/Toy Game
common.buy 9.53 €
Vikont koji me volio Julia Quinn / Book Paperback
common.buy 11.04 €
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 13.45 €
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Book Paperback
common.buy 94.19 €
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Book Book
common.buy 30.12 €
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Book binding.
common.buy 30.92 €
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Video DVD
common.buy 12.34 €
Top
Karty vědomé duše Kim Dreyer / Printed items Cards
common.buy 6.92 €
Solon als Begründer der attischen Demokratie Andreas Schmidt / Book Paperback
common.buy 14.35 €
Top
Herbář léčivých rostlin (1) Jiří Janča / Book Hardback
common.buy 13.55 €
Spirou und Fantasio - Ein großer Kopf Makyo / Book Paperback
common.buy 11.24 €
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Book Paperback
common.buy 39.86 €
Object-oriented Quality Management (OQRM). Een Praktische Methode Voor Kwaliteits- En Risicomanagement. Peter W.M. van Nederpelt / Book Paperback
common.buy 15.56 €
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Book Paperback
common.buy 65.77 €
Mine d'Or Sébastien Belluso / Book Paperback
common.buy 7.32 €
Philadelphia, 1 Blu-ray Craig Mckay / Video Blu-ray
common.buy 13.95 €
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Book Paperback
common.buy 7.72 €

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

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-Based Program Synthesis and Transformation
Author Pierre Flener
Language English
Binding Book - Paperback
Date of issue 1999
Number of pages 338
EAN 9783540657651
ISBN 3540657657
Libristo code 05274933
Publishers Springer, Berlin
Weight 450
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 > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Cats Behaving Badly Celia Haddon / Book Paperback
common.buy 16.06 €
Top
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Book Paperback
common.buy 18.27 €
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Book Paperback
common.buy 36.15 €
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Book Paperback
common.buy 10.84 €
Body and the Screen Kate Ince / Book Paperback
common.buy 48.90 €
Direct Mail in the Digital Age Lin Grensing-Pophal / Book Paperback
common.buy 17.06 €
Shame Game Janice Sterling Gaunt / Book Paperback
common.buy 16.06 €
Every Brain is Beautiful Sara Furlong / Book Paperback
common.buy 12.34 €
Norfolk and Western Railway Nelson Harris / Book Hardback
common.buy 25.10 €
Just Like Me J. Tillman / Book Hardback
common.buy 16.06 €
Open and nimble Daniel Lederman / Book Paperback
common.buy 40.26 €
New York Intellectuals Alan M. Wald / Book Paperback
common.buy 43.88 €
One Thousand Years with Jesus Matthew Bryce Ervin / Book Paperback
common.buy 19.78 €
Conservatives: Dead or Alive Marcel G Latouche / Book Paperback
common.buy 22.39 €
Hockey Superstitions Andrew Podnieks / Book Paperback
common.buy 16.56 €
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Book Paperback
common.buy 11.94 €
Plotinus - The Enneads Plotinus / Book Paperback
common.buy 23.59 €
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Book Paperback
common.buy 31.93 €
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Book Paperback
common.buy 24.80 €
Software Engineering for Enterprise System Agility Sergey V. Zykov / Book Hardback
common.buy 176.35 €
Maigret's Anger Georges Simenon / Book Paperback
common.buy 10.94 €
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Book Paperback
common.buy 48.50 €
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Book Paperback
common.buy 17.26 €
Jump Start Git, 2e Shaumik Daityari / Book Paperback
common.buy 23.59 €

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?