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 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €
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 118 b
48.60 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Biochemisches Handlexikon Andor Fodor / Book Paperback
common.buy 52.82 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Book Paperback
common.buy 23.64 €
Ornamentvogelspinnen Henrik Krehenwinkel / Book Hardback
common.buy 32.70 €
LEGO® Harry Potter™ Kouzelnická zábava / Book Paperback
common.buy 6.83 €
Kako sam sebi biti najbolji prijatelj Paul Hauck / Book Paperback
common.buy 12.17 €
FARMERS MARKET - Una aplicación web / Book Paperback
common.buy 39.05 €
Coming soon
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Book Hardback
common.buy 19.61 €
Atlas der Krankheiten, Schädlinge und Nützlinge im Obst- und Weinbau Peter Fischer-Colbrie / Book Hardback
common.buy 54.74 €
Océanos de inmortalidad: Un círculo, seis mujeres y muchas vidas pasadas. Bea Panisello / Book Paperback
common.buy 20.12 €
Bloc 3 - Assurer la gestion opérationnelle BTS MCO 1 et 2 (2024) - Pochette élève Hamida / Book Book
common.buy 34.91 €
M?t m? h?n lo?n Francisco Angulo de Lafuente / Book Paperback
common.buy 19.71 €
La mort sur ses épaules Farmer / Book Paperback
common.buy 27.97 €
¿Y si matamos a Murfhy? Martínez Ramos / Book Paperback
common.buy 22.94 €
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales Abg Technologies / Book Paperback
common.buy 18.81 €
Tvory Volume 9 Volodymyr Vynnychenko / Book Paperback
common.buy 23.64 €
Compre un saco...y ahora que hago? ALBERTO MARTIN / Book Paperback
common.buy 19.71 €
Collection Des Livrets Des Anciennes Expositions Depuis 1673 Jusqu'en 1800. Exposition de 1765 Guiffrey-J / Book Paperback
common.buy 13.58 €
Kúpte si družičku! Jacqueline Wilsonová / Book Paperback
common.buy 7.54 €
Dictionnaire de l'Armee de Terre BARDIN-E-A / Book Paperback
common.buy 26.76 €
Les Reformes Sociales Dreux-A / Book Paperback
common.buy 12.47 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Book Paperback
common.buy 32.09 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Book Paperback
common.buy 18.31 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Book Paperback
common.buy 49.30 €
Le Facteur Ascension F. Ransom Herbert / Book Paperback
common.buy 12.37 €

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 96.90 €
Hybrid Latex Particles Alex M. van Herk / Book Paperback
common.buy 290.23 €
Production Planning in Automated Manufacturing Yves Crama / Book Paperback
common.buy 59.97 €
Medical Imaging Techniques and Applications Marcus Lewis / Book Hardback
common.buy 122.67 €
Counterfeit Souls Va Andrews / Book Paperback
common.buy 8.75 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Book Paperback
common.buy 14.18 €
Mind Power Secrets: Road To Riches Shana O Lean / Book Paperback
common.buy 15.99 €
The Question of Alsace and Lorraine Thomas Willing Balch / Book Paperback
common.buy 15.89 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Book Paperback
common.buy 10.56 €
Echoes Down a Dark Well Ric Wasley / Book Paperback
common.buy 17.90 €
Reading Wonders, Grade 4, Leveled Reader Nellie Bly: Reporter for the Underdog, Approaching, Unit 3, 6-Pack Mcgraw-Hill Education / Book Hardback
common.buy 83.62 €
Nineteenth-Century Poetry and Liberal Thought Anna Barton / Book Hardback
common.buy 100.23 €
Politics Latin America Gavin O'Toole / Book Hardback
common.buy 247.56 €
Lost Founding Father William J. Cooper / Book Hardback
common.buy 31.99 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Book Paperback
common.buy 116.23 €
Contemporary Essays in Theology John Hunt / Book Paperback
common.buy 29.28 €
Coming soon New
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Book Paperback
common.buy 39.84 €
Blood: Book One Latreace C Warren / Book Paperback
common.buy 13.27 €
Top
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Book Hardback
common.buy 10.05 €
South Windsor Claire Lobdell / Book Hardback
common.buy 25.15 €
Information Geometry and Population Genetics Julian Hofrichter / Book Paperback
common.buy 125.89 €
Solutions: Elementary: Student's Book and Online Practice Pack Tim Falla / Book Paperback
common.buy 62.89 €
Making Sense LILA ROSE / Book Paperback
common.buy 14.58 €
Coal Mining in Pakistan Mudassar Ali Raja / Book Paperback
common.buy 33.40 €

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?