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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 132 b
54.56 €
106.72  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

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 17.22 € 33.67 лв
Aventures del capita calçotes DAV PILKEY / Book Hardback
common.buy 10.27 € 20.08 лв
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Book Paperback
common.buy 33.24 € 65.02 лв
Die Polen in Oberschlesien Paul Weber / Book Paperback
common.buy 13.79 € 26.98 лв
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Book Paperback
common.buy 13.74 € 26.87 лв
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Book Hardback
common.buy 97.67 € 191.02 лв
Disney: Raya und der letzte Drache / Book Hardback
common.buy 8.24 € 16.12 лв
Świat równoległy wyd. 2 Tomasz Michniewicz / Book Hardback
common.buy 15.04 € 29.41 лв
Degas Loyrette / Book Paperback
common.buy 21.47 € 41.99 лв
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Printed items Sheet music
common.buy 26.76 € 52.34 лв
Mujeres artistas LINDA NOCHIN / Book Paperback
common.buy 49.01 € 95.86 лв
Thelma et les enfants à table Colombe Schneck / Book Hardback
common.buy 13.84 € 27.08 лв
Satisfaç?o do Cliente com o Seguro de Entrega de Serviços-Motor Stephen Kweku Amoah / Book Paperback
common.buy 58.56 € 114.53 лв
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 0.98 € 1.92 лв
L'ombre L'eau qui s'écoule Lorrain-Vesque / Book Paperback
common.buy 20.07 € 39.25 лв
Journal d'un Noob - Tome 8 Cube Kid / Book Paperback
common.buy 17.58 € 34.38 лв
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Book Hardback
common.buy 19.24 € 37.63 лв
Ja, pesnička 2 collegium / Book Hardback
common.buy 6.32 € 12.37 лв
Cesta z lebek Tyrani a králové John Marco / Book Paperback
common.buy 10.42 € 20.38 лв
Největší současní básníci Petr Kovář / Book Sheet
common.buy 7.93 € 15.51 лв
Ja genau! C. Böschel / Book Paperback
common.buy 25.41 € 49.70 лв
Innovatives Beschaffungsmanagement Christoph W. Gabath / Book Hardback
common.buy 56.17 € 109.86 лв
Top
Dekorative Handarbeiten Ritta Drommer / Book Paperback
common.buy 11.56 € 22.61 лв
Gottesfreundin Karl Gjellerup / Book Paperback
common.buy 17.16 € 33.57 лв

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

Graph Based Representations in Pattern Recognition Edwin Hancock / Book Paperback
common.buy 54.56 € 106.72 лв
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Book Paperback
common.buy 66.75 € 130.56 лв
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Book Hardback
common.buy 217.44 € 425.28 лв
Lonely Planet Pocket Ibiza Planet Lonely / Book Paperback
common.buy 20.33 € 39.76 лв
E-Myth Contractor Michael E. Gerber / Book Paperback
common.buy 14.31 € 27.99 лв
Maltese Falcon Dashiell Hammett / Book Paperback
common.buy 11.25 € 22.01 лв
Text Book of Boxing Jim Driscoll / Book Paperback
common.buy 17.27 € 33.77 лв
Secret Kingdom: Magic Mountain Rosie Banks / Book Paperback
common.buy 8.19 € 16.02 лв
Time as a Metaphor of History: Early India Romila Thapar / Book Paperback
common.buy 11.77 € 23.02 лв
Taak of the Toon Sid Waddell / Book Paperback
common.buy 10.84 € 21.19 лв
International Directory of Company Histories Tina Gant / Book Hardback
common.buy 584.17 € 1 142.54 лв
Human Brain During the Late First Trimester Shirley A. Bayer / Book Paperback
common.buy 104.46 € 204.31 лв
Top
Rising Of The Shield Hero Volume 08: Light Novel Aneko Yusagi / Book Paperback
common.buy 11.35 € 22.21 лв
Nuclear Weapons Counterproliferation Jack Garvey / Book Hardback
common.buy 180.20 € 352.43 лв
Global Technological Change Zhouying Jin / Book Paperback
common.buy 39.83 € 77.90 лв
Pauline Canon Stanley E. Porter / Book Hardback
common.buy 54.56 € 106.72 лв
Enterococcus faecalis Henry L Mack / Book Hardback
common.buy 323.78 € 633.25 лв
Season of Birth and Schizophrenia Fatima Kamran / Book Paperback
common.buy 52.49 € 102.66 лв
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Book Paperback
common.buy 17.48 € 34.18 лв
Google Cloud Platform in Action John J. Geewax / Book Paperback
common.buy 61.15 € 119.60 лв
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Book Hardback
common.buy 27.59 € 53.96 лв
Cocoa for Santa: Xavier Degphilip / Book Paperback
common.buy 10.32 € 20.18 лв
Cambridge Natural History Volume 5 S F Harmer / Book Hardback
common.buy 41.18 € 80.54 лв
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Book Paperback
common.buy 8.55 € 16.73 лв

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?