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.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €
phone Contact phoneHow to shop

Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic-Based Program Synthesis and Transformation Germán Vidal
Libristo code: 01661777
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Full description
? points 115 b
46.99 € 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

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Book Paperback
common.buy 54.99 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Printed items Sheet music
common.buy 8.39 €
Violenza domestica contro le donne Flaviana Aparecida de Mello / Book Paperback
common.buy 21.19 €
Le Grand livre de la nature Anonyme / E-book Adobe ePub DRM
common.buy 11.19 €
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Game/Toy Toy
common.buy 17.69 €
Bougie verre simple coloris noir - Senteur Nag Champa / Book binding.
common.buy 8.49 €
Les silences de Margaret Paul Couturiau / Book Paperback
common.buy 22.29 €
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Book Paperback
common.buy 31.59 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Book Paperback
common.buy 6.09 €
Sparliche Signaldarstellung fur eine Einzelbild-Superaufloesung Jadhav Dr. Jagannath Jadhav / Book Paperback
common.buy 26.90 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Book Paperback
common.buy 23.29 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Book binding.
common.buy 33.59 €
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Book Paperback
common.buy 35.19 €
O dôstojnosti človeka Božena Seilerová / Book Paperback
common.buy 7.99 €
Artikel Marketing Blitz Andre Sternberg / E-book Adobe ePub DRM
common.buy 1.99 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Book Paperback
common.buy 13.19 €
Coming soon
LA FIESTA DE DISFRACES Quílez Ibáñez / Book Paperback
common.buy 22.09 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Book Hardback
common.buy 18.89 €
Healing Hotels of the World / Book Hardback
common.buy 52.89 €
Madchen in der Sprayerkultur? Lena Rheindorf / Book Paperback
common.buy 17.95 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Book Paperback
common.buy 59.99 €
Shania- Philosophie Thomas Heim / Book Paperback
common.buy 14.90 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Book Paperback
common.buy 76.49 €
Feuerdrachen, 2 DVDs Brigitte Koppe / Video DVD
common.buy 16.39 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Vidal
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 254
EAN 9783642322105
ISBN 3642322107
Libristo code 01661777
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 409
Dimensions 155 x 235 x 15

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Mojave Syntax MUNRO / Book Paperback
common.buy 59.89 €
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Book Paperback
common.buy 48.29 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Book Paperback
common.buy 152.59 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Book Hardback
common.buy 128.49 €
Instances of Use of United States Armed Forces Abroad, 1798-2014 Barbara Salazar Torreon / Book Paperback
common.buy 18.59 €
Corr James K Polk Vol 9 James K Polk / Book Hardback
common.buy 56.89 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Book Hardback
common.buy 162.29 €
Manual of Gynecology David Berry Hart / Book Hardback
common.buy 44.29 €
Top
Splat the Cat Rob Scotton / Book Hardback
common.buy 14.99 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Book Paperback
common.buy 18.49 €
What's Jewish about Butterflies?: 36 Dynamic, Engaging Lessons for the Early Childhood Classroom Maxine Segal Handelman / Book Paperback
common.buy 32.49 €
My Own Words Ruth Bader Ginsburg / Audio Audio CD
common.buy 40.29 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Book Paperback
common.buy 7.29 €
Reframing Italian America: Historical Photographs and Immigrant Representations Rosangela Briscese / Book Paperback
common.buy 20.19 €
Transcatheter Aortic Valve Implantation Catherine M. Otto / Book Hardback
common.buy 178.19 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Book Hardback
common.buy 664.69 €
Industrial Energy Management and Sustainability Miriam Benedetti / Book Hardback
common.buy 36.99 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Book Paperback
common.buy 7.99 €
Cell Death Regulation in Health and Disease - Part A Lorenzo Galluzzi / E-book Adobe ePub DRM
common.buy 238.19 €
Big Data for Managers Atal Malviya / Book Paperback
common.buy 76.09 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Book Paperback
common.buy 54.29 €
Educational Dimensions of School Lunch Suzanne Rice / Book Paperback
common.buy 26.49 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Book Paperback
common.buy 11.49 €
The Pact of Paris: International Conciliation, No. 243, October, 1928 James Thomson Shotwell / Book Paperback
common.buy 23.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?