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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 156 b
23 481 Ft
In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Punto Piu Vicino Al Cielo Duilio Chiarle / Book Paperback
common.buy 4 533 Ft
Estem en contra Xavier Gual / E-book Adobe ePub DRM
common.buy 3 175 Ft
La causalidad eucarística de la Iglesia Aboín Martín / Book Paperback
common.buy 13 698 Ft
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Book Hardback
common.buy 17 173 Ft
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Book Paperback
common.buy 16 002 Ft
Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Book Paperback
common.buy 16 450 Ft
Kolorowanka Modnisia Gołek Halina / Book Paperback
common.buy 913 Ft

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

Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Video DVD
common.buy 7 614 Ft
Top
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Book Paperback
common.buy 6 712 Ft
Paracelsus G Lowes 1862-1932 Dickinson / Book Paperback
common.buy 7 106 Ft
Music, Language and Autism Francesca Happe / E-book Adobe ePub DRM
common.buy 11 738 Ft
ORBIT Emily Alison / Book Hardback
common.buy 26 688 Ft
Juana Honore de Balzac / Book Paperback
common.buy 4 667 Ft
Assessment Literacy Thomas Devere Wolsey / Book Paperback
common.buy 15 144 Ft
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Book Paperback
common.buy 23 481 Ft
Climate Change and the Media Benedetta Brevini / Book Hardback
common.buy 43 362 Ft
HIV/AIDS Community Information Services M. Sandra Wood / Book Hardback
common.buy 56 786 Ft
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Book Paperback
common.buy 5 236 Ft
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Book Paperback
common.buy 11 878 Ft
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 13 124 Ft
US-Israeli Relations in a New Era Eytan Gilboa / Book Hardback
common.buy 91 616 Ft
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 10 462 Ft
Once Upon A Nightmare William F Lee / Book Hardback
common.buy 10 940 Ft
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 4 169 Ft
Beyond the Palace Gary Wien / Book Paperback
common.buy 7 993 Ft

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?