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.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic Based Program Synthesis and Transformation Alberto Pettorossi
Libristo code: 01564461
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Biochemisches Handlexikon Andor Fodor / Book Paperback
common.buy 53.16 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Book Paperback
common.buy 23.08 €
Les Reformes Sociales Dreux-A / Book Paperback
common.buy 13.66 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Book Paperback
common.buy 34.12 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Book Paperback
common.buy 20.35 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Book Paperback
common.buy 48.20 €
Kúpte si družičku! Jacqueline Wilsonová / Book Paperback
common.buy 7.99 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Book Paperback
common.buy 16.40 €
FARMERS MARKET - Una aplicación web / Book Paperback
common.buy 39.29 €
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Book Hardback
common.buy 19.74 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 28.45 €
LEGO® Harry Potter™ Kouzelnická zábava / Book Paperback
common.buy 7.28 €
Ornamentvogelspinnen Henrik Krehenwinkel / Book Hardback
common.buy 32.81 €

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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 Alberto Pettorossi
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 272
EAN 9783540439158
ISBN 3540439153
Libristo code 01564461
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 880
Dimensions 155 x 235 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Medicine & Nursing > Medicine: general issues
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

Models in Cooperative Game Theory Rodica Branzei / Book Paperback
common.buy 103.10 €
Hybrid Latex Particles Alex M. van Herk / Book Paperback
common.buy 308.80 €
Production Planning in Automated Manufacturing Yves Crama / Book Paperback
common.buy 58.53 €
Coming soon New
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Book Paperback
common.buy 44.96 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Book Paperback
common.buy 123.66 €
Lost Founding Father William J. Cooper / Book Hardback
common.buy 28.55 €
Echoes Down a Dark Well Ric Wasley / Book Paperback
common.buy 17.51 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Book Paperback
common.buy 10.32 €
The Question of Alsace and Lorraine Thomas Willing Balch / Book Paperback
common.buy 15.59 €
Mind Power Secrets: Road To Riches Shana O Lean / Book Paperback
common.buy 15.69 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Book Paperback
common.buy 13.97 €
Counterfeit Souls Va Andrews / Book Paperback
common.buy 8.60 €
Medical Imaging Techniques and Applications Marcus Lewis / Book Hardback
common.buy 120.11 €
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Book Hardback
common.buy 10.83 €
South Windsor Claire Lobdell / Book Hardback
common.buy 24.60 €
Information Geometry and Population Genetics Julian Hofrichter / Book Paperback
common.buy 107.25 €
Coal Mining in Pakistan Mudassar Ali Raja / Book Paperback
common.buy 35.74 €
Operational Costs in Acquisitions James R. Coffey / Book Paperback
common.buy 53.47 €
First Victory Stewart Andrew Stewart / E-book Adobe ePub DRM
common.buy 12.75 €
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Book Paperback
common.buy 40.71 €
Dark Coulee Mary Logue / Book Paperback
common.buy 14.78 €
Landscape Design / Book Hardback
common.buy 60.66 €
Top
John Donne John Donne / Book Paperback
common.buy 10.83 €
Community, Economic Creativity, and Organization Ash Amin / Book Hardback
common.buy 78.69 €

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?