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

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 136 b
19 870 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

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 59 378 Ft
Artificial Social Systems Cristiano Castelfranchi / Book Paperback
common.buy 19 870 Ft
Coming soon
Eyes Open Level 2 Workbook with Online Practice (Dutch Edition) Vicki Anderson / Book Hardback
common.buy 11 149 Ft
Dmitri Olive Jeanfreau Alexander / Book Paperback
common.buy 4 125 Ft
Ba Duan Jin Qi Gong - Eight Pieces of Brocade Marcus Scheibenzuber / Book Paperback
common.buy 6 626 Ft
THE HISTORY OF ENGLAND UNDER THE HOUSE O ROBERT VAUGHAN / Book Hardback
common.buy 14 955 Ft
Cobbett's Two-Penny Trash William Cobbett / Book Paperback
common.buy 4 052 Ft
Development of English Literature Patrick Francis Mullany / Book Paperback
common.buy 7 637 Ft
sacred tree John Philpot / Book Paperback
common.buy 6 599 Ft
Battle-wise: Seeking Time-Information Superiority in Networked Warfare David C Gompert / Book Paperback
common.buy 7 406 Ft
Terrateer in Training Alexandra Quast / Book Paperback
common.buy 3 936 Ft
Very Different Monica Shauna Ray Ratapu / Book Paperback
common.buy 4 988 Ft
Marshal Josip Broz Tito: The Life and Legacy of Yugoslavia's First President Charles River Editors / Book Paperback
common.buy 4 052 Ft
Soviet Union MARK EDELE / Book Paperback
common.buy 12 071 Ft
Memere's Country Creole Cookbook Nancy Tregre Wilson / Book Hardback
common.buy 10 433 Ft
Superconductor Levitation Jinwon Kim / Book Paperback
common.buy 51 478 Ft
Smoke Firing Jane Perryman / Book Hardback
common.buy 14 046 Ft
Crosslinguistic Influence and Second Language Learning Kevin McManus / Book Paperback
common.buy 24 978 Ft
Fighting the Opioid Epidemic Amitava Dasgupta / E-book Adobe ePub DRM
common.buy 49 721 Ft
Times Killer Su Doku Book 20 The Times Mind Games / Book Paperback
common.buy 3 585 Ft
Top
Butt Seriously: The Definitive Guide to Anal Health, Pleasure, and Everything In-Between GOLDSTEIN EVAN / Book Paperback
common.buy 6 719 Ft
Move Mountains Iaroslav Wise / E-book Adobe ePub DRM
common.buy 4 960 Ft
Erotic Art - Nude and Lingerie hand painted (Wall Calendar 2026 DIN A3 portrait), CALVENDO 12 Month Wall Calendar Calvendo / Calendar/Diary Calendar
common.buy 11 661 Ft
British Manufacturing Investment Overseas (RLE International Business) Roger Strange / Book Paperback
common.buy 12 597 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