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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic-Based Program Synthesis and Transformation Moreno Falaschi
Libristo code: 02836544
Publishers Springer International Publishing AG, December 2015
This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... Full description
? points 125 b
51.76 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi / Book Paperback
common.buy 10.42 €
Sauvage / Book Paperback
common.buy 30.08 €
Coming soon
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Book Book
common.buy 7.18 €
Soziologia Horton / Book Paperback
common.buy 25.11 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Book Paperback
common.buy 19.34 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Book Paperback
common.buy 28.56 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Book Paperback
common.buy 15.29 €
Philomela Lena Behmenburg / Book Hardback
common.buy 208.68 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

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 Moreno Falaschi
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 385
EAN 9783319274355
ISBN 331927435X
Libristo code 02836544
Publishers Springer International Publishing AG
Weight 6088
Dimensions 155 x 235 x 25

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 > Programming techniques
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
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
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

Little Critter: Just a Special Day Mercer Mayer / Book Paperback
common.buy 4.75 €
Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron / Book Hardback
common.buy 41.12 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Book Paperback
common.buy 17.21 €
Decision Theory and the Future of AI Yang Liu / Book Hardback
common.buy 103.12 €
Vessel Matthew Bryant / Book Paperback
common.buy 10.32 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Book Paperback
common.buy 9.01 €
Place in the Sun Tim Tingle / Book Paperback
common.buy 22.38 €
Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston / Book Hardback
common.buy 40.21 €
Kindle Paperwhite User Guide Sharon Hurley / Book Paperback
common.buy 26.53 €
African Personality and Spirituality Anthony Ephirim-Donkor / Book Hardback
common.buy 127.23 €
Reform without Liberalization Kevin J. O`Brien / Book Hardback
common.buy 128.54 €
Practical Flow Cytometry 4e Howard M. Shapiro / Book Hardback
common.buy 218.30 €

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?