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

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic-Based Program Synthesis and Transformation Germán Puebla
Libristo code: 01568318
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2007
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on... Full description
? points 141 b
58.53 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Book Paperback
common.buy 43.03 €
Estem en contra Xavier Gual / E-book Adobe ePub DRM
common.buy 8.70 €
La causalidad eucarística de la Iglesia Aboín Martín / Book Paperback
common.buy 37.87 €
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Book Hardback
common.buy 48.30 €
Punto Piu Vicino Al Cielo Duilio Chiarle / Book Paperback
common.buy 11.23 €
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Book Paperback
common.buy 40.20 €
Kolorowanka Modnisia Gołek Halina / Book Paperback
common.buy 2.12 €
43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn / Book Paperback
common.buy 15.79 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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 Germán Puebla
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 240
EAN 9783540714095
ISBN 354071409X
Libristo code 01568318
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 790
Dimensions 155 x 235 x 17

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 > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

The History of the Studebaker Corporation Albert Erskine / Book Paperback
common.buy 33.01 €
Top New
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Book Paperback
common.buy 15.79 €
Paracelsus G Lowes 1862-1932 Dickinson / Book Paperback
common.buy 19.33 €
ORBIT Emily Alison / Book Hardback
common.buy 50.73 €
Juana Honore de Balzac / Book Paperback
common.buy 11.74 €
Assessment Literacy Thomas Devere Wolsey / Book Paperback
common.buy 37.06 €
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Book Paperback
common.buy 55.49 €
Climate Change and the Media Benedetta Brevini / Book Hardback
common.buy 120.42 €
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Video DVD
common.buy 19.84 €
HIV/AIDS Community Information Services M. Sandra Wood / Book Hardback
common.buy 94.49 €
Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning / Book Paperback
common.buy 10.32 €
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Book Paperback
common.buy 12.95 €
Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon / Book Paperback
common.buy 32.60 €
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Book Paperback
common.buy 35.54 €
Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin / Book Paperback
common.buy 26.02 €
Once Upon A Nightmare William F Lee / Book Hardback
common.buy 27.34 €
Beyond the Palace Gary Wien / Book Paperback
common.buy 25.61 €
US-Israeli Relations in a New Era Eytan Gilboa / Book Hardback
common.buy 223.32 €

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?