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

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic Based Program Synthesis and Transformation Patricia M. Hill
Libristo code: 01561746
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2006
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Full description
? points 141 b
58.53 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg / Book Paperback
common.buy 19.23 €
Le Grand Atlas géographique du monde 6e ed / Book Hardback
common.buy 75.24 €
Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre / Audiobook MP3
common.buy 3.94 €
D.N. Angel Pearls 2 Yukiru Sugisaki / Book Paperback
common.buy 10.93 €
Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui / Book Paperback
common.buy 49.01 €
VILLANUEVA DE CASTRO / Book Paperback
common.buy 21.56 €
Goodbye Istanbul Esmahan Aykol / Book Paperback
common.buy 14.88 €
Der Europäische Sozialstaat und seine Institutionen. Detlef Merten / Book Paperback
common.buy 66.03 €
DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter / Book Paperback
common.buy 17.11 €
Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F / Book Paperback
common.buy 28.25 €
Im Herzland Günther Dellbrügger / Book Hardback
common.buy 22.58 €
Die Idee der Bibliothek und ihre Zukunft Michael Knoche / Book Hardback
common.buy 18.02 €
Bluchertrompete Ludwig Salomon / Book Paperback
common.buy 9.00 €
Faust Johann Wolfgang von Goethe / Book Paperback
common.buy 23.28 €
Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J / Book Paperback
common.buy 13.66 €
Documentos postúmos del Club Pickwick Charles Dickens / Book Paperback
common.buy 12.14 €

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

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 Patricia M. Hill
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 182
EAN 9783540326540
ISBN 3540326545
Libristo code 01561746
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 630
Dimensions 155 x 235 x 20

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Computer programming / software engineering
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

Computer and Information Science Applications in Bioprocess Engineering A.R. Moreira / Book Hardback
common.buy 91.04 €
Safely Through the Storm Debra Herbeck / E-book Adobe ePub DRM
common.buy 16.20 €
What We Cannot Know: Explorations at the Edge of Knowledge Marcus du Sautoy / Audiobook MP3
common.buy 15.99 €
Collecta zestaw Zwierzęta morskie 2 / Book binding.
common.buy 12.24 €
The Scarlet Pimpernel Orczy Emmuska Baroness / Book Paperback
common.buy 28.86 €
Theology and Theologians of Scotland, Chiefly of the Seventeenth and Eighteenth Centuries James Walker / Book Paperback
common.buy 22.58 €
The Phantom of the Opera Gaston Leroux / Book Paperback
common.buy 13.16 €
The Burgess Bird Book for Children: Large Print Thornton W Burgess / Book Paperback
common.buy 10.32 €
Poetry of the Pentateuch Hobart Caunter / Book Hardback
common.buy 40.20 €
Atlas of the Human Brain Juergen K. Mai / Book Hardback
common.buy 266.26 €
Religion and Politics in Presidential Elections Victor Wantatah / Book Paperback
common.buy 21.26 €
Uniforms of Imperial and Soviet Russia in Color: As Illustrated by Herbert Knotel, Jr 1907-1946 Robert W. Kenny / Book Hardback
common.buy 44.45 €
Lucretius John Godwin / Book Paperback
common.buy 43.44 €
Students Who Move and Transfer Schools Noone / Book Paperback
common.buy 18.02 €
100 Years of Spanish Cinema Tatjana Pavlovic / Book Paperback
common.buy 58.43 €
Golden Calf Helene Tursten / Book Paperback
common.buy 15.79 €
Alice's Adventures In Molecular Biology Arieh Ben-Naim / Book Paperback
common.buy 30.78 €
Advanced Photonics with Second-Order Optically Nonlinear Processes A. D. Boardman / Book Paperback
common.buy 51.75 €
Elizabethan Translation and Literary Culture Gabriela Schmidt / Book Hardback
common.buy 144.12 €

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?