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.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

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 139 b
56.89 € VAT included
In stock at our supplier Shipping in 9-13 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg / Book Paperback
common.buy 21.30 €
Der Europäische Sozialstaat und seine Institutionen. Detlef Merten / Book Paperback
common.buy 79.90 €
VILLANUEVA DE CASTRO / Book Paperback
common.buy 19.09 €
Goodbye Istanbul Esmahan Aykol / Book Paperback
common.buy 14.00 €
Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui / Book Paperback
common.buy 54.90 €
D.N. Angel Pearls 2 Yukiru Sugisaki / Book Paperback
common.buy 12.00 €
Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre / Audiobook MP3
common.buy 3.29 €
Iqbal Shanasi Shamim Hanafi / Book Paperback
common.buy 19.89 €
KINRA GIRLS - BD - AU COEUR DU LABYRINTHE - TOME 2 Juliette Fournier / Book Hardback
common.buy 12.99 €
Ranma 1/2 - Édition originale - Tome 05 Rumiko Takahashi / Book Paperback
common.buy 12.99 €
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 18.95 €
Im Herzland Günther Dellbrügger / Book Hardback
common.buy 26.00 €
Bluchertrompete Ludwig Salomon / Book Paperback
common.buy 9.90 €
Routage ad hoc hiérarchique ? base de clusters / Book Paperback
common.buy 63.32 €
Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F / Book Paperback
common.buy 27.29 €
Generische Modellierung von zweistufigen Transportketten zur Planung und Optimierung von Verteilzentren in komplexen Systemen Peter Hillmann / Book Paperback
common.buy 50.00 €
Faust Johann Wolfgang von Goethe / Book Paperback
common.buy 25.90 €
Die Idee der Bibliothek und ihre Zukunft Michael Knoche / Book Hardback
common.buy 20.00 €
L'Esprit Des Journaux, Francois Et Etrangers... Societe De Gens De Lettres / Book Paperback
common.buy 22.49 €
Lutte Contre La Propagation de la Tuberculose Dans Les Familles Pauvres SANS AUTEUR / Book Paperback
common.buy 13.19 €
Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J / Book Paperback
common.buy 13.19 €
Documentos postúmos del Club Pickwick Charles Dickens / Book Paperback
common.buy 13.09 €

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

Advances on Robotic Item Picking Joseph Durham / Book Paperback
common.buy 89.59 €
High-Resolution Radiographs of the Hand Giuseppe Guglielmi / Book Paperback
common.buy 109.49 €
The Scarlet Pimpernel Orczy Emmuska Baroness / Book Paperback
common.buy 27.79 €
The Memory Keeper's Daughter CD Kim Edwards / Audio Audio CD
common.buy 20.00 €
EPA Needs to Comply with the Federal Insecticide, Fungicide, and Rodenticide Act and Improve Its Oversight of Exported Never-Registered Pesticides U S Environemental Protection Agency / Book Paperback
common.buy 16.89 €
The Burgess Bird Book for Children: Large Print Thornton W Burgess / Book Paperback
common.buy 9.89 €
Theology and Theologians of Scotland, Chiefly of the Seventeenth and Eighteenth Centuries James Walker / Book Paperback
common.buy 22.30 €
Top
Cambridge International AS & A Level Mathematics: Pure Mathematics 2 & 3 Coursebook Sue Pemberton / Book Paperback
common.buy 45.19 €
Sing in the Sunshine Dance in the Rain Sandy Annie / Book Paperback
common.buy 9.09 €
Computer and Information Science Applications in Bioprocess Engineering A.R. Moreira / Book Hardback
common.buy 85.19 €
Collecta zestaw Zwierzęta morskie 2 / Book binding.
common.buy 10.39 €
What We Cannot Know: Explorations at the Edge of Knowledge Marcus du Sautoy / Audiobook MP3
common.buy 13.40 €
Lawrence Alma-Tadema Spring MIDI Unl Paperblanks / Book Hardback
common.buy 22.19 €
Safely Through the Storm Debra Herbeck / E-book Adobe ePub DRM
common.buy 13.60 €
Cambridge Lower Secondary Humanities Digital Teacher's Resource 7–9 Access Card David Ingledew / Digital Digital online
common.buy 135.59 €
Lucretius John Godwin / Book Paperback
common.buy 37.19 €
Elizabethan Translation and Literary Culture Gabriela Schmidt / Book Hardback
common.buy 142.29 €
Golden Calf Helene Tursten / Book Paperback
common.buy 13.19 €
Silicon-on-Insulator Technology: Materials to VLSI Jean-Pierre Colinge / Book Hardback
common.buy 152.59 €
Advanced Photonics with Second-Order Optically Nonlinear Processes A. D. Boardman / Book Paperback
common.buy 51.09 €
100 Years of Spanish Cinema Tatjana Pavlovic / Book Paperback
common.buy 52.59 €
Miniature Lamps Ruth Smith / Book Hardback
common.buy 35.99 €
Uniforms of Imperial and Soviet Russia in Color: As Illustrated by Herbert Knotel, Jr 1907-1946 Robert W. Kenny / Book Hardback
common.buy 43.91 €
Students Who Move and Transfer Schools Noone / Book Paperback
common.buy 17.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?