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

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.62 €
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 15.75 €
Ja, pesnička 2 collegium / Book Hardback
common.buy 5.55 €
Surpresa Mais Doce Augusta Hill / E-book Adobe ePub DRM
common.buy 0.90 €
La Troisi?me République française et ce qu'elle vaut Joseph Arthur De Gobineau / Book Paperback
common.buy 10.50 €
Huevo de Dragón (Dragon Egg Spanish Edition) Hala Wittwer / Book Hardback
common.buy 19.19 €
Aufsichtsrat der AG im Bankgesellschaftsrecht Stephan Fackler / Book Hardback
common.buy 92.23 €
Journal d'un Noob - Tome 8 Cube Kid / Book Paperback
common.buy 17.06 €
Guide Et Formulaire de Therapeutique Generale Et Speciale HERZEN-V / Book Paperback
common.buy 33.13 €
Commentaire Sur La Structure Microscopique Du Rein Des Vertebres, A l'Occasion d'Un Memoire SUCQUET-J- / Book Paperback
common.buy 13.63 €
L'ombre L'eau qui s'écoule Lorrain-Vesque / Book Paperback
common.buy 19.49 €
Disney: Raya und der letzte Drache / Book Hardback
common.buy 9.39 €
Świat równoległy wyd. 2 Tomasz Michniewicz / Book Hardback
common.buy 14.34 €
Degas Loyrette / Book Paperback
common.buy 20.80 €
SINFONIE F MAJOR FALCK 67 ORCHESTRE WILHELM FRIEDEMANN B Printed items Sheet music
common.buy 25.85 €
Aventures del capita calçotes DAV PILKEY / Book Hardback
common.buy 9.69 €
Mujeres artistas LINDA NOCHIN / Book Paperback
common.buy 51.42 €
Die Polen in Oberschlesien Paul Weber / Book Paperback
common.buy 13.33 €
Thelma et les enfants à table Colombe Schneck / Book Hardback
common.buy 13.53 €
Histoire amoureuse des Gaules suivie des Romans historico-satiriques du XVIIe siecle, Tome I Roger de Rabutin / Book Paperback
common.buy 17.87 €
Cesta z lebek Tyrani a králové John Marco / Book Paperback
common.buy 10.70 €
Největší současní básníci Petr Kovář / Book Sheet
common.buy 7.47 €
Ja genau! C. Böschel / Book Paperback
common.buy 24.04 €
Innovatives Beschaffungsmanagement Christoph W. Gabath / Book Hardback
common.buy 53.54 €
Dekorative Handarbeiten Ritta Drommer / Book Paperback
common.buy 10.90 €

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 205.49 €
Towards a Service-Based Internet. ServiceWave 2010 Workshops Michel Cezon / Book Paperback
common.buy 66.47 €
Graph Based Representations in Pattern Recognition Edwin Hancock / Book Paperback
common.buy 51.62 €
Lonely Planet Pocket Ibiza Planet Lonely / Book Paperback
common.buy 19.59 €
Pauline Canon Stanley E. Porter / Book Hardback
common.buy 51.62 €
Nuclear Weapons Counterproliferation Jack Garvey / Book Hardback
common.buy 134.87 €
Global Technological Change Zhouying Jin / Book Paperback
common.buy 38.38 €
International Directory of Company Histories Tina Gant / Book Hardback
common.buy 545.06 €
Time as a Metaphor of History: Early India Romila Thapar / Book Paperback
common.buy 13.53 €
Secret Kingdom: Magic Mountain Rosie Banks / Book Paperback
common.buy 7.67 €
Text Book of Boxing Jim Driscoll / Book Paperback
common.buy 17.17 €
Maltese Falcon Dashiell Hammett / Book Paperback
common.buy 10.40 €
E-Myth Contractor Michael E. Gerber / Book Paperback
common.buy 14.24 €
Taak of the Toon Sid Waddell / Book Paperback
common.buy 10.80 €
Salt & Light: Being The Hands & Feet of Christ (in a cruel and dangerous world) Matt Poole / Book Paperback
common.buy 8.58 €
Human Brain During the Late First Trimester Shirley A. Bayer / Book Paperback
common.buy 94.96 €
Enterococcus faecalis Henry L Mack / Book Hardback
common.buy 305.51 €
Season of Birth and Schizophrenia Fatima Kamran / Book Paperback
common.buy 49.90 €
The Mad Pranks And Merry Jests Of Robin Goodfellow (1841) John Payne Collier / Book Paperback
common.buy 17.37 €
How to Live an Abundant Life Ph D D-Cpc Pastor (Dr ) Ayo Laleye / Book Hardback
common.buy 27.47 €
Cambridge Natural History Volume 5 S F Harmer / Book Hardback
common.buy 41.01 €
Animal Group Behavior Abbie Dunne / Book Paperback
common.buy 9.69 €
Country Quilts for Friends Margaret Peters / Book Paperback
common.buy 20.30 €
Google Cloud Platform in Action John J. Geewax / Book Paperback
common.buy 60.91 €

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?