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

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 136 b
19 902 Ft
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 13 953 Ft
Guida per principianti alla produzione e alla gestione dei suini Kwamina Banson / Book Paperback
common.buy 23 803 Ft
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO FABREGA / Book Book
common.buy 11 213 Ft
Příchod bohů Vlastislav Toman / Audio Audio CD
common.buy 5 084 Ft
Top
Vikont koji me volio Julia Quinn / Book Paperback
common.buy 4 691 Ft
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen Ina Bartels / Book Paperback
common.buy 36 055 Ft
Fullmetal Alchemist 18 Hiromu Arakawa / Book Paperback
common.buy 2 990 Ft
Hormigón ligero OPS reforzado con fibra de polipropileno Ming Chian Yew / Book Paperback
common.buy 12 456 Ft
5 Towers (Deep Print Games) / Game/Toy Game
common.buy 3 707 Ft
Top
Lass uns reden! Chiara Colucci / Game/Toy Game
common.buy 6 993 Ft
Top
B-Grammatik Anne Buscha / Book Paperback
common.buy 8 310 Ft
CHAPITRES TOURNES EN TOUS SENS PIANO ERIK SATIE Book binding.
common.buy 11 753 Ft
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered) John Carpenter / Video DVD
common.buy 5 015 Ft
Karty vědomé duše Kim Dreyer / Printed items Cards
common.buy 2 625 Ft
Top
Herbář léčivých rostlin (1) Jiří Janča / Book Hardback
common.buy 5 084 Ft
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR) André Nollmann / Book Paperback
common.buy 15 594 Ft
Matériaux High-k dans les mémoires non-volatiles avancées Marc Bocquet / Book Paperback
common.buy 27 292 Ft
Mine d'Or Sébastien Belluso / Book Paperback
common.buy 3 032 Ft
Philadelphia, 1 Blu-ray Craig Mckay / Video Blu-ray
common.buy 5 671 Ft
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina Fiona Watt / Book Paperback
common.buy 2 990 Ft
Skicák TVOŘIVOST B5, čistý, 80 listů / Stationery items Stationery items
common.buy 1 673 Ft

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 29 048 Ft
Solution Talk: Hosting Therapeutic Conversations Ben Furman / Book Paperback
common.buy 6 961 Ft
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India Neil Gregory / Book Paperback
common.buy 13 644 Ft
Raising Charlie: The Lessons of a Perfect Dog John Lichty / Book Paperback
common.buy 4 132 Ft
Body and the Screen Kate Ince / Book Paperback
common.buy 19 287 Ft
Shame Game Janice Sterling Gaunt / Book Paperback
common.buy 6 447 Ft
Every Brain is Beautiful Sara Furlong / Book Paperback
common.buy 4 719 Ft
Open and nimble Daniel Lederman / Book Paperback
common.buy 14 979 Ft
New York Intellectuals Alan M. Wald / Book Paperback
common.buy 16 329 Ft
Conservatives: Dead or Alive Marcel G Latouche / Book Paperback
common.buy 8 444 Ft
Study Guide for Stephen Spender's What I Expected Cengage Learning Gale / Book Paperback
common.buy 4 502 Ft
Walnut Warriors (R) (in Outer Space) Lance L Palmgren / Book Paperback
common.buy 12 650 Ft
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible Al Parish / Book Paperback
common.buy 10 917 Ft
Maigret's Anger Georges Simenon / Book Paperback
common.buy 4 483 Ft
Information Systems: Research, Development, Applications, Education Stanislaw Wrycza / Book Paperback
common.buy 19 902 Ft
Why Tyrannosaurus But Not If? US/Can edition RICHARD N WHITEHEAD / Book Paperback
common.buy 6 508 Ft
Jump Start Git, 2e Shaumik Daityari / Book Paperback
common.buy 9 013 Ft
Third Eye Awakening Jamie Parr / Book Paperback
common.buy 4 719 Ft
Top
Super Minds Level 5 Workbook with Digital Pack British English Herbert Puchta / Book Paperback
common.buy 4 178 Ft
100 Greatest Commodore 64 Games Tom Crossland / Book Paperback
common.buy 4 705 Ft
Baptist Encyclopaedia - Vol. 3 William Cathcart / Book Hardback
common.buy 16 371 Ft
Voices of Diversity Mary C. Sengstock / Book Paperback
common.buy 19 902 Ft
History of the French Revolution Adolphe ThiersFrederick Shoberl / Book Paperback
common.buy 21 016 Ft
Human Pituitary Hormones E. van Cauter / Book Paperback
common.buy 19 902 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?