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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic Based Program Synthesis and Transformation Sandro Etalle
Libristo code: 01560821
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium 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

Cuerpazo Para Siempre (Spanish Original): Mi Método Para Transformar Tu Figura En Un Cuerpo de Infarto Claudia Molina / Book Paperback
common.buy 15.79 €
Mujeres artistas LINDA NOCHIN / Book Paperback
common.buy 51.54 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Book Hardback
common.buy 92.46 €
Ja, pesnička 2 collegium / Book Hardback
common.buy 5.56 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Book Hardback
common.buy 19.23 €
Journal d'un Noob - Tome 8 Cube Kid / Book Paperback
common.buy 17.11 €
Opowieść wigilijna Dickens Karol / Book Hardback
common.buy 5.97 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Book Paperback
common.buy 19.54 €
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 0.90 €
Thelma et les enfants à table Colombe Schneck / Book Hardback
common.buy 13.56 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Printed items Sheet music
common.buy 25.92 €
Degas Loyrette / Book Paperback
common.buy 20.85 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Book Hardback
common.buy 14.37 €
Die Polen in Oberschlesien Paul Weber / Book Paperback
common.buy 13.36 €
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Book Paperback
common.buy 10.52 €
Aventures del capita calçotes DAV PILKEY / Book Hardback
common.buy 9.71 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Book Paperback
common.buy 13.66 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Book Paperback
common.buy 33.21 €
Cesta z lebek Tyrani a králové John Marco / Book Paperback
common.buy 10.73 €
Největší současní básníci Petr Kovář / Book Sheet
common.buy 7.48 €
Ja genau! C. Böschel / Book Paperback
common.buy 24.10 €
Klick! Sozialkunde/Politik - Fachhefte für alle Bundesländer - Ausgabe 2008 - Band 3. Bd.3 Christine Fink / Book Sheet
common.buy 15.18 €
Vermarktung von Unterhaltung bei Germanys next Topmodel Anina Müller / Book Paperback
common.buy 16.20 €
Formierung der Ministerialitat und ihre Funktionen in der salischen und staufischen Herrschaft Johannes Grundberger / Book Paperback
common.buy 16.20 €

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and 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 Sandro Etalle
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 284
EAN 9783540266556
ISBN 3540266550
Libristo code 01560821
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 450
Dimensions 155 x 235 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Computer programming / software engineering
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

Model-Based Reasoning in Science and Technology Lorenzo Magnani / Book Hardback
common.buy 206.00 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Book Paperback
common.buy 66.63 €
Graph Based Representations in Pattern Recognition Edwin Hancock / Book Paperback
common.buy 51.75 €
Lonely Planet Pocket Ibiza Planet Lonely / Book Paperback
common.buy 19.64 €
Nuclear Weapons Counterproliferation Jack Garvey / Book Hardback
common.buy 135.20 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Book Hardback
common.buy 27.54 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Book Paperback
common.buy 8.60 €
Human Brain During the Late First Trimester Shirley A. Bayer / Book Paperback
common.buy 95.20 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Book Paperback
common.buy 17.41 €
Season of Birth and Schizophrenia Fatima Kamran / Book Paperback
common.buy 50.02 €
Spoken Language Translator Manny RaynerDavid CarterPierrette BouillonVassilis Digalakis / Book Paperback
common.buy 63.09 €
English Auxiliaries Anthony R. Warner / Book Paperback
common.buy 48.50 €
Peasant Uprisings in Seventeenth-Century France, Russia and China Roland Mousnier / Book Hardback
common.buy 215.01 €
Enterococcus faecalis Henry L Mack / Book Hardback
common.buy 306.27 €
Pauline Canon Stanley E. Porter / Book Hardback
common.buy 51.75 €
Taak of the Toon Sid Waddell / Book Paperback
common.buy 10.83 €
E-Myth Contractor Michael E. Gerber / Book Paperback
common.buy 14.27 €
Maltese Falcon Dashiell Hammett / Book Paperback
common.buy 10.42 €
Text Book of Boxing Jim Driscoll / Book Paperback
common.buy 17.21 €
Secret Kingdom: Magic Mountain Rosie Banks / Book Paperback
common.buy 7.69 €
Time as a Metaphor of History: Early India Romila Thapar / Book Paperback
common.buy 13.56 €
International Directory of Company Histories Tina Gant / Book Hardback
common.buy 548.74 €
Global Technological Change Zhouying Jin / Book Paperback
common.buy 37.36 €
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Book Hardback
common.buy 146.04 €

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?