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.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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.69 €
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.41 €
Sauvage / Book Paperback
common.buy 30.04 €
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Book Book
common.buy 7.17 €
Soziologia Horton / Book Paperback
common.buy 27.81 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Book Paperback
common.buy 19.32 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Book Paperback
common.buy 28.52 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Book Paperback
common.buy 16.89 €
Philomela Lena Behmenburg / Book Hardback
common.buy 208.42 €

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.07 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Book Paperback
common.buy 19.01 €
Decision Theory and the Future of AI Yang Liu / Book Hardback
common.buy 102.99 €
Vessel Matthew Bryant / Book Paperback
common.buy 10.31 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Book Paperback
common.buy 8.99 €
Place in the Sun Tim Tingle / Book Paperback
common.buy 22.35 €
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.16 €
Kindle Paperwhite User Guide Sharon Hurley / Book Paperback
common.buy 26.50 €
African Personality and Spirituality Anthony Ephirim-Donkor / Book Hardback
common.buy 127.07 €
Reform without Liberalization Kevin J. O`Brien / Book Hardback
common.buy 128.38 €
Practical Flow Cytometry 4e Howard M. Shapiro / Book Hardback
common.buy 218.03 €

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?