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 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic Based Program Synthesis and Transformation Kung-Kiu Lau
Libristo code: 01563497
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2001
This book presents revised full papers from the 10th International Workshop on Logic-Based Program S... Full description
? points 125 b
51.62 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Host na večeři B. P. Walter / Book Hardback
common.buy 13.02 €
Reciprocidad y permanencia como talante del animador rural: acciones o procesos Equipo de Apoyo Rural Cáritas Española / Book Paperback
common.buy 7.67 €
Scentos. Pachnące masy plastyczne. Walizeczka 20sztuk Book binding.
common.buy 21.51 €
Vzdělávání v mateřské škole Eva Svobodová / Book Paperback
common.buy 7.77 €
Cala Ratjada (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 54.14 €
Top
Голос твоего рода. Исцеление родовых программ Елена Вайс / Book Hardback
common.buy 16.66 €
Lumière sur mairies brunes Tome 3 Visa / Book Paperback
common.buy 11.41 €
Je suis vivant et vous êtes morts Emmanuel Carrère / Book Paperback
common.buy 11.00 €
Mes premières chansons - volume 3 Marine Fleury / Book Hardback
common.buy 13.63 €
Antología (versos, reflexiones, poesías) TOMAS REDONDO GARCIA / Audio Audio CD
common.buy 13.02 €
MARCO DE LOS APENINOS A LOS ANDES EDMUNDO DE AMICIS / Book Paperback
common.buy 16.36 €
Brelok Łamignat (Kajko i Kokosz) / Book binding.
common.buy 5.65 €
funfzehn grossen Mittel fur das Pferd Regine Beatrix Dreyer / Book Paperback
common.buy 9.08 €
Clus Muñoz Robledano / Book Paperback
common.buy 13.43 €
Bergson Et Le Christ Des Evangiles Henri Gouhier / Book Paperback
common.buy 31.01 €
Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J / Book Paperback
common.buy 28.18 €
Wika - Wika und Oberons Zorn Thomas Day / Book Hardback
common.buy 15.75 €
Interpretation des Werkes Die gefesselte Phantasie von Ferdinand Raimund Stephanie Ebert / Book Paperback
common.buy 16.16 €
Ergotherapie Wolfgang Presber / Book Hardback
common.buy 39.59 €

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

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 Kung-Kiu Lau
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 188
EAN 9783540421276
ISBN 3540421270
Libristo code 01563497
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 306
Dimensions 155 x 235 x 11

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 > 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

Thermal Design and Thermal Behaviour of Radio Telescopes and their Enclosures Albert Greve / Book Paperback
common.buy 154.16 €
Artificial Social Systems Cristiano Castelfranchi / Book Paperback
common.buy 51.62 €
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Book Paperback
common.buy 19.29 €
Concert Choir Mixed Student Essential Repertoire Artist Level: Tenor Bass Emily Crocker / Book Hardback
common.buy 16.96 €
Dmitri Olive Jeanfreau Alexander / Book Paperback
common.buy 10.60 €
Butt Seriously: The Definitive Guide to Anal Health, Pleasure, and Everything In-Between GOLDSTEIN EVAN / Book Paperback
common.buy 17.27 €
Times Killer Su Doku Book 20 The Times Mind Games / Book Paperback
common.buy 8.68 €
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Book Paperback
common.buy 17.17 €
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Book Hardback
common.buy 39.19 €
Cobbett's Two-Penny Trash William Cobbett / Book Paperback
common.buy 10.60 €
Fighting the Opioid Epidemic Amitava Dasgupta / E-book Adobe ePub DRM
common.buy 140.12 €
Development of English Literature Patrick Francis Mullany / Book Paperback
common.buy 19.69 €
sacred tree John Philpot / Book Paperback
common.buy 16.96 €
Coming soon
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Book Hardback
common.buy 29.49 €
Terrateer in Training Alexandra Quast / Book Paperback
common.buy 10.30 €
Very Different Monica Shauna Ray Ratapu / Book Paperback
common.buy 13.02 €
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Book Paperback
common.buy 10.60 €
Soviet Union MARK EDELE / Book Paperback
common.buy 31.61 €
Memere's Country Creole Cookbook Nancy Tregre Wilson / Book Hardback
common.buy 26.76 €
chronicles of Jerahmeel Anonymous / Book Paperback
common.buy 28.48 €
Crosslinguistic Influence and Second Language Learning Kevin McManus / Book Paperback
common.buy 65.76 €
Superconductor Levitation Jinwon Kim / Book Paperback
common.buy 133.66 €
Smoke Firing Jane Perryman / Book Hardback
common.buy 36.77 €
Affordable
Beyond the Ice Limit Douglas J Preston / Book Paperback
common.buy 4.54 €

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?