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 11.49 €
phone Contact phoneHow to shop

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Logic Based Program Synthesis and Transformation M. Leuschel
Libristo code: 01562768
Publishers Springer, Berlin, November 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Manual para ser feliz around the world ALESS GIBAJA / Book Paperback
common.buy 17.21 €
Pojazdy Ernest Błędowski / Book Paperback
common.buy 1.31 €
Thomas Jules Lebrun / Book Hardback
common.buy 9.00 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Book Paperback
common.buy 22.98 €
Top
Benjamín Solari Parravicini Zerpa / Book Paperback
common.buy 11.54 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Book Paperback
common.buy 19.54 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Book Paperback
common.buy 40.10 €
Osterlandsagen Geyer / Book Paperback
common.buy 17.11 €
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Book Paperback
common.buy 14.57 €
Pohádky obtáhni a vykresli - omalovánka / Stationery items Stationery items
common.buy 1.41 €
Metaphern der Gewalt Monika Schwarz-Friesel / Book Paperback
common.buy 30.98 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Book Paperback
common.buy 43.85 €
Malcolm Max - Auferstehung Peter Mennigen / Book Hardback
common.buy 12.65 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 9.00 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Book Paperback
common.buy 50.02 €
Písání John Lennon / Book Hardback
common.buy 9.00 €
? travers la Montagne corse / TopoGuides / Book Paperback
common.buy 25.11 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Book Paperback
common.buy 22.17 €
Paula I. Allende / Book Paperback
common.buy 11.54 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Book Paperback
common.buy 11.23 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Book Paperback
common.buy 10.83 €
Malý zajíček Oblečení neuvedený autor / Book Board book
common.buy 2.22 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 279
EAN 9783540404385
ISBN 3540404384
Libristo code 01562768
Publishers Springer, Berlin
Weight 417
Dimensions 155 x 235 x 15

Categories

Children’s, Teenage & Educational > Educational material > Educational: Mathematics, science & technology, general > Educational: Sciences, general science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Book Hardback
common.buy 185.34 €
Practical Simulation in Urology Chandra Shekhar Biyani / Book Hardback
common.buy 201.44 €
The Meaning of Truth William James / Book Paperback
common.buy 6.78 €
Treasure Within You Mitra Somerville / Book Paperback
common.buy 22.17 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Book Board book
common.buy 8.70 €
Southern Legacy H G Manning / Book Paperback
common.buy 19.33 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Book Paperback
common.buy 15.39 €
Top
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Book Hardback
common.buy 23.59 €
Endymion Dan Simmons / Book Paperback
common.buy 14.07 €
Top
Valor John Gwynne / Book Paperback
common.buy 17.31 €
Elements John Boyne / Book Paperback
common.buy 15.99 €
Loving Life Gene Loving / Book Paperback
common.buy 27.54 €
Seven At The Sevens WritersAnonymous. org / Book Hardback
common.buy 37.87 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Book Paperback
common.buy 7.69 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Book Hardback
common.buy 24.20 €
Killing Marias CLAUDIA CASTRO LUNA / Book Paperback
common.buy 12.14 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Book Paperback
common.buy 49.72 €
Science Comics MK Reed / Book Paperback
common.buy 11.33 €
Understanding Artificial Intelligence Sabouret / Book Hardback
common.buy 127.20 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Book Hardback
common.buy 27.34 €
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Book Hardback
common.buy 136.72 €
Written Language Disorders R.M. Joshi / Book Hardback
common.buy 154.55 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Book Hardback
common.buy 114.64 €

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?