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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic-Based Program Synthesis and Transformation Michael Hanus
Libristo code: 01649407
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Book Paperback
common.buy 6 272 Ft
Kultur ALS Naturgeschichte Christian Mehr / Book Hardback
common.buy 45 715 Ft
Abrege de la Philosophie de Gassendi Francois Bernier / Book Paperback
common.buy 11 504 Ft
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Book Paperback
common.buy 9 572 Ft
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Book Paperback
common.buy 13 131 Ft
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Book Paperback
common.buy 10 113 Ft
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Book Book
common.buy 2 727 Ft
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Book Paperback
common.buy 10 801 Ft
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Book Paperback
common.buy 8 735 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Michael Hanus
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 185
EAN 9783642005145
ISBN 3642005144
Libristo code 01649407
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 308
Dimensions 155 x 235 x 11

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Moses in America Melanie Jane Wright / Book Hardback
common.buy 39 485 Ft
Top
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Book Paperback
common.buy 4 719 Ft
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Book Paperback
common.buy 95 206 Ft
Explorers on Black Ice Bridge Alex Bell / E-book Adobe ePub DRM
common.buy 2 695 Ft
Cinderella Is Dead Kalynn Bayron / Book Paperback
common.buy 3 416 Ft
Lucky Per Henrik Pontoppidan / Book Hardback
common.buy 5 260 Ft
Imperator Anna Hackett / Book Paperback
common.buy 4 659 Ft
Changing State Feminism J. Outshoorn / Book Paperback
common.buy 40 876 Ft
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Book Paperback
common.buy 6 947 Ft
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Book Hardback
common.buy 26 132 Ft
Daughter of the Sword Steve Bein / Book Paperback
common.buy 7 899 Ft
Sexual Dysfunction A R Markos / Book Hardback
common.buy 47 970 Ft
Disturbing Influence Julian Mitchell / Book Paperback
common.buy 7 122 Ft
British America 1500-1800 Steven Sarson / Book Paperback
common.buy 22 643 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