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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic-Based Program Synthesis and Transformation Andy King
Libristo code: 01570057
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Full description
? points 111 b
45.49 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Die Abenteuerlichen Fälle des Terry Lomes Bodo Königsmann / Book Paperback
common.buy 9.90 €
Curso sobre agricultura biodinámica STEINER / Book Paperback
common.buy 18.89 €
Klar zum Feuern John Martin Ungar / Book Paperback
common.buy 10.00 €
Fearless Katia Liebig / Book Paperback
common.buy 16.00 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Game/Toy Toy
common.buy 11.59 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Book Paperback
common.buy 31.09 €
Biale noce Fiodor Dostojewski / E-book Adobe ePub DRM
common.buy 3.39 €
Marienkirche Gelnhausen (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Calendar/Diary Calendar
common.buy 84.99 €
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Book Paperback
common.buy 17.95 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Book Paperback
common.buy 21.90 €
Melekler Kiz mi, Erkek mi Özkan Öze / Book Paperback
common.buy 8.19 €
Sulla Origine Delle Specie Carlo Darwin / Book Paperback
common.buy 15.29 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Book Paperback
common.buy 17.89 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Book Paperback
common.buy 4.29 €
Cy Twombly et la critique américaine Richard Leeman / Book Hardback
common.buy 28.79 €
Ca brille ! - Livre d'autocollants Fiona Patchett / Book Paperback
common.buy 7.99 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Book Paperback
common.buy 14.69 €
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Book Paperback
common.buy 88.59 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Book Paperback
common.buy 27.49 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Book Paperback
common.buy 9.89 €
Die asiatische Cholera Joseph Riedel / Book Paperback
common.buy 12.00 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 222
EAN 9783540787686
ISBN 3540787682
Libristo code 01570057
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 365
Dimensions 154 x 14 x 239

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

Controlled Nanoscale Motion Heiner Linke / Book Hardback
common.buy 90.79 €
Between Earth And Sky: And Other Strange Stories Of Deliverance (1897) Edward William Thomson / Book Paperback
common.buy 26.69 €
Extraordinary Cases. Henry L Clinton / Book Paperback
common.buy 21.39 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Book Paperback
common.buy 12.49 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Book Paperback
common.buy 6.79 €
The Notary Art of Solomon: Ars Notoria King Solomon / Book Paperback
common.buy 5.99 €
CSS Grid Explained: Your Step-by-Step Guide to CSS Grid Stephen Burge / Book Paperback
common.buy 10.69 €
Chimpanzee Lisa Jackson / Book Hardback
common.buy 31.39 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Book Paperback
common.buy 14.89 €
Kingdom Growth Through Missional Behavior E. Basil Jackson / Book Paperback
common.buy 13.89 €
Cheyenne Quinn M. Arnold / Book Hardback
common.buy 38.49 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Book Paperback
common.buy 15.49 €
Living Theory C.E. Hurst / Book Paperback
common.buy 104.49 €
Retail Marketing Strategy Constant Berkhout / Book Hardback
common.buy 102.59 €
Beyond Chopped Liver Kenden Alfond / Book Hardback
common.buy 28.59 €
How to Crochet a Baby Blanket for Beginners: Simple Baby Blanket Crochet Patterns And Tutorials Emma Moore / Book Paperback
common.buy 7.99 €
Top
Rise of the Dragon Elio M. Garcia Jr. / Book Hardback
common.buy 35.99 €
Wong Kar-wai Silver Wai-ming Lee / E-book Adobe ePub DRM
common.buy 23.69 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Book Paperback
common.buy 11.79 €
Eugenio Granell GUIGON / Book Paperback
common.buy 12.89 €
Values Andreas Urs Sommer / Book Hardback
common.buy 42.49 €
Psychedelics and the Soul YUGLER SIMON / Book Paperback
common.buy 13.19 €
Global Communication Pavel Slutskiy / E-book Adobe ePub DRM
common.buy 79.79 €
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Book Hardback
common.buy 122.19 €

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?