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 11.49 €
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.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda Pierre Dolbeault / Book Paperback
common.buy 36.25 €
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Book Paperback
common.buy 61.47 €
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Book Book
common.buy 30.98 €
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 14.37 €
Top
Vikont koji me volio Julia Quinn / Book Paperback
common.buy 11.94 €
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Book Paperback
common.buy 101.78 €
Fullmetal Alchemist 18 Hiromu Arakawa / Book Paperback
common.buy 8.09 €
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Book Paperback
common.buy 32.10 €
5 Towers (Deep Print Games) / Game/Toy Game
common.buy 9.61 €
Top
Lass uns reden! Chiara Colucci / Game/Toy Game
common.buy 19.74 €
Top
B-Grammatik Anne Buscha / Book Paperback
common.buy 21.66 €
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Book binding.
common.buy 33.21 €
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Video DVD
common.buy 13.16 €
Karty vědomé duše Kim Dreyer / Printed items Cards
common.buy 7.38 €
Top
Herbář léčivých rostlin (1) Jiří Janča / Book Hardback
common.buy 14.37 €
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Book Paperback
common.buy 40.20 €
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Book Paperback
common.buy 70.48 €
Mine d'Or Sébastien Belluso / Book Paperback
common.buy 7.79 €
Philadelphia, 1 Blu-ray Craig Mckay / Video Blu-ray
common.buy 14.78 €
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Book Paperback
common.buy 7.79 €
Skicák TVOŘIVOST B5, čistý, 80 listů / Stationery items Stationery items
common.buy 4.55 €

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 82.03 €
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Book Paperback
common.buy 18.02 €
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Book Paperback
common.buy 35.44 €
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Book Paperback
common.buy 10.62 €
Body and the Screen Kate Ince / Book Paperback
common.buy 54.48 €
Shame Game Janice Sterling Gaunt / Book Paperback
common.buy 16.70 €
Every Brain is Beautiful Sara Furlong / Book Paperback
common.buy 12.14 €
Open and nimble Daniel Lederman / Book Paperback
common.buy 39.59 €
New York Intellectuals Alan M. Wald / Book Paperback
common.buy 43.03 €
Conservatives: Dead or Alive Marcel G Latouche / Book Paperback
common.buy 21.97 €
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Book Paperback
common.buy 11.74 €
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Book Paperback
common.buy 33.21 €
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Book Paperback
common.buy 28.55 €
Maigret's Anger Georges Simenon / Book Paperback
common.buy 11.84 €
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Book Paperback
common.buy 51.75 €
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Book Paperback
common.buy 17.01 €
Jump Start Git, 2e Shaumik Daityari / Book Paperback
common.buy 23.08 €
Third Eye Awakening Jamie Parr / Book Paperback
common.buy 12.14 €
Top
Super Minds Level 5 Workbook with Digital Pack British English Herbert Puchta / Book Paperback
common.buy 11.23 €
100 Greatest Commodore 64 Games Tom Crossland / Book Paperback
common.buy 12.35 €
Baptist Encyclopaedia - Vol. 3 William Cathcart / Book Hardback
common.buy 46.18 €
Voices of Diversity Mary C. Sengstock / Book Paperback
common.buy 51.75 €
History of the French Revolution Adolphe ThiersFrederick Shoberl / Book Paperback
common.buy 59.34 €
Human Pituitary Hormones E. van Cauter / Book Paperback
common.buy 51.75 €

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?