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 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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.24 €
100.22  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Corps chantant anatomie et technique vocale PHILIPPIN / Book Paperback
common.buy 24.90 € 48.70 лв
Pojazdy Ernest Błędowski / Book Paperback
common.buy 2.92 € 5.71 лв
LES CONTES DE LA MARINADE CALVET / Book Paperback
common.buy 10.57 € 20.68 лв
Osterlandsagen Geyer / Book Paperback
common.buy 17.66 € 34.54 лв
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Book Paperback
common.buy 18.94 € 37.05 лв
Düsmanlar / Book Paperback
common.buy 16.07 € 31.43 лв
Křížovky kvízové 1/2021 / Book Paperback
common.buy 2.41 € 4.71 лв
Thomas Jules Lebrun / Book Hardback
common.buy 8.11 € 15.86 лв
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Book Paperback
common.buy 40.20 € 78.63 лв
Fais-toi confiance Isabelle Filliozat / Book Book
common.buy 37.48 € 73.31 лв
Benjamín Solari Parravicini Zerpa / Book Paperback
common.buy 11.75 € 22.99 лв
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Book Paperback
common.buy 22.59 € 44.18 лв
Sexualisierte Gewalt an Erwachsenen Schutz- Und Hilfebedurftigen Martin Wazlawik / Book Paperback
common.buy 69.16 € 135.27 лв
Pohádky obtáhni a vykresli - omalovánka / Stationery items Stationery items
common.buy 2.31 € 4.51 лв
Metaphern der Gewalt Monika Schwarz-Friesel / Book Paperback
common.buy 32.35 € 63.26 лв
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Book Paperback
common.buy 43.44 € 84.96 лв
Malcolm Max - Auferstehung Peter Mennigen / Book Hardback
common.buy 13.29 € 26.00 лв
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio CD
common.buy 9.34 € 18.27 лв
Expeditionen in den dunklen Kontinent Ruth Hagen / Book Paperback
common.buy 51.96 € 101.63 лв
Les Conflits Commerciaux Et l'Organisation Mondiale Du Commerce Fassory Sangare / Book Paperback
common.buy 88.27 € 172.63 лв
Zkušenost a symbol Eric Voegelin / Book Sheet
common.buy 14.84 € 29.02 лв
Písání John Lennon / Book Hardback
common.buy 7.44 € 14.55 лв
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Book Paperback
common.buy 14.37 € 28.11 лв
Collier-d'Or Laumonier-D / Book Paperback
common.buy 24.03 € 46.99 лв

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 183.83 € 359.54 лв
Practical Simulation in Urology Chandra Shekhar Biyani / Book Hardback
common.buy 199.80 € 390.77 лв
Treasure Within You Mitra Somerville / Book Paperback
common.buy 22.59 € 44.18 лв
Loving Life Gene Loving / Book Paperback
common.buy 28.08 € 54.93 лв
Southern Legacy H G Manning / Book Paperback
common.buy 19.71 € 38.56 лв
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Book Paperback
common.buy 14.99 € 29.32 лв
Endymion Dan Simmons / Book Paperback
common.buy 15.09 € 29.52 лв
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Book Hardback
common.buy 24.33 € 47.60 лв
Top
Valor John Gwynne / Book Paperback
common.buy 17.56 € 34.34 лв
What They Know About... Parenting!: Celebrity Moms and Dads Give Us Their Take on Having Kids Cindy Pearlman / Book Paperback
common.buy 13.40 € 26.20 лв
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Book Board book
common.buy 9.14 € 17.87 лв
How to Save Money on Groceries Without Coupons Madeleine Mayfair / Book Paperback
common.buy 8.16 € 15.96 лв
Seven At The Sevens WritersAnonymous. org / Book Hardback
common.buy 38.56 € 75.42 лв
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Book Paperback
common.buy 7.75 € 15.16 лв
Krashen's Hypotheses. A critical and reflected perspective Martina Alexandra Hunkler / Book Paperback
common.buy 16.07 € 31.43 лв
Killing Marias CLAUDIA CASTRO LUNA / Book Paperback
common.buy 12.37 € 24.19 лв
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Book Paperback
common.buy 50.63 € 99.02 лв
Reflections on a Flower-garden. In a Letter to a Lady. By James Hervey, A.B JAMES HERVEY / Book Hardback
common.buy 31.63 € 61.86 лв
Top
Science Comics MK Reed / Book Paperback
common.buy 11.55 € 22.59 лв
I am Usually Referred to as the Master Marcus Harmes / Book Paperback
common.buy 13.81 € 27.01 лв
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Book Hardback
common.buy 21.36 € 41.77 лв
Understanding Artificial Intelligence Sabouret / Book Hardback
common.buy 150.91 € 295.16 лв
descriptive catalogue of the manuscripts in the library of Corpus Christi College, Cambridge (Part I) Montague Rhodes James / Book Paperback
common.buy 51.04 € 99.82 лв

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?