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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 125 b
51.01 €
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 35.80 €
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Book Paperback
common.buy 60.71 €
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Book Paperback
common.buy 31.70 €
Fullmetal Alchemist 18 Hiromu Arakawa / Book Paperback
common.buy 7.99 €
Top
B-Grammatik Anne Buscha / Book Paperback
common.buy 21.40 €
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Book Book
common.buy 21.40 €
Lass uns reden! Chiara Colucci / Game/Toy Game
common.buy 22.90 €
Free Elections W.J.M. Mackenzie / Book Hardback
common.buy 146.25 €
Vikont koji me volio Julia Quinn / Book Paperback
common.buy 11.69 €
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 14.20 €
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Book Paperback
common.buy 97.43 €
5 Towers (Deep Print Games) / Game/Toy Game
common.buy 9.49 €
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Book binding.
common.buy 31.50 €
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Video DVD
common.buy 13.00 €
Top
Karty vědomé duše Kim Dreyer / Printed items Cards
common.buy 6.89 €
Solon als Begründer der attischen Demokratie Andreas Schmidt / Book Paperback
common.buy 14.30 €
Herbář léčivých rostlin (1) Jiří Janča / Book Hardback
common.buy 12.80 €
Spirou und Fantasio - Ein großer Kopf Makyo / Book Paperback
common.buy 11.79 €
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Book Paperback
common.buy 39.71 €
Object-oriented Quality Management (OQRM). Een Praktische Methode Voor Kwaliteits- En Risicomanagement. Peter W.M. van Nederpelt / Book Paperback
common.buy 18.90 €
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Book Paperback
common.buy 69.52 €
Mine d'Or Sébastien Belluso / Book Paperback
common.buy 7.69 €
Philadelphia, 1 Blu-ray Craig Mckay / Video Blu-ray
common.buy 14.60 €
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Book Paperback
common.buy 7.69 €

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

Transition and the Spatial Organization of Industries Alexandra Schleier / Book Paperback
common.buy 80.72 €
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Book Paperback
common.buy 17.80 €
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Book Paperback
common.buy 35.00 €
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Book Paperback
common.buy 10.49 €
Body and the Screen Kate Ince / Book Paperback
common.buy 50.11 €
Direct Mail in the Digital Age Lin Grensing-Pophal / Book Paperback
common.buy 17.40 €
Shame Game Janice Sterling Gaunt / Book Paperback
common.buy 16.50 €
Every Brain is Beautiful Sara Furlong / Book Paperback
common.buy 12.00 €
Norfolk and Western Railway Nelson Harris / Book Hardback
common.buy 24.30 €
Just Like Me J. Tillman / Book Hardback
common.buy 15.60 €
Open and nimble Daniel Lederman / Book Paperback
common.buy 39.11 €
New York Intellectuals Alan M. Wald / Book Paperback
common.buy 42.51 €
One Thousand Years with Jesus Matthew Bryce Ervin / Book Paperback
common.buy 19.20 €
Conservatives: Dead or Alive Marcel G Latouche / Book Paperback
common.buy 21.70 €
Top
Hockey Superstitions Andrew Podnieks / Book Paperback
common.buy 16.50 €
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Book Paperback
common.buy 11.59 €
Plotinus - The Enneads Plotinus / Book Paperback
common.buy 22.90 €
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Book Paperback
common.buy 32.80 €
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Book Paperback
common.buy 25.70 €
Software Engineering for Enterprise System Agility Sergey V. Zykov / Book Hardback
common.buy 170.86 €
Maigret's Anger Georges Simenon / Book Paperback
common.buy 11.69 €
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Book Paperback
common.buy 51.01 €
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Book Paperback
common.buy 16.80 €
Jump Start Git, 2e Shaumik Daityari / Book Paperback
common.buy 22.80 €

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?