Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 01562768
Price: 20346 HUF
Availability: InStock
Author: M. Leuschel
ISBN: 9783540404385

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

M. Leuschel

Language

English

Book Paperback

Libristo code: 01562768

Publishers Springer, Berlin, November 2002

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Full description

Libristo code: 01562768

136 b

20 346 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Pojazdy Ernest Błędowski

Paperback

406 Ft

Thomas Jules Lebrun

Hardback

3 223 Ft

La rythmologie - une date bien choisie peut changer votre vie Wozniak

Paperback

8 269 Ft

PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Book

Paperback

7 012 Ft

Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium

Paperback

14 473 Ft

Pohádky obtáhni a vykresli - omalovánka

Stationery items

524 Ft

Osterlandsagen Geyer

Paperback

6 171 Ft

Benjamín Solari Parravicini Zerpa

Paperback

3 747 Ft

Písání John Lennon

Hardback

2 575 Ft

Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A

Paperback

5 217 Ft

El problema mente-cerebro / The Mind-Body Problem Mario Bunge

Paperback

7 191 Ft

Les Conflits Commerciaux Et l'Organisation Mondiale Du Commerce Fassory Sangare

Paperback

35 239 Ft

Expeditionen in den dunklen Kontinent Ruth Hagen

Paperback

18 116 Ft

Paula I. Allende

Paperback

4 134 Ft

Manual para ser feliz around the world ALESS GIBAJA

Paperback

5 646 Ft

Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD

Audio CD

3 520 Ft

Journal Du Marquis de Dangeau... Montaiglon

Paperback

10 877 Ft

Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori

Paperback

4 418 Ft

Malcolm Max - Auferstehung Peter Mennigen

Hardback

4 569 Ft

Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina

Paperback

17 350 Ft

Metaphern der Gewalt Monika Schwarz-Friesel

Paperback

11 194 Ft

Petru Fideliovi Sborník k sedmdesátinám Lucie Malá

Paperback

3 927 Ft

Al Pie de la Encina. Historias, tradiciones y recuerdos. Victor Balaguer

Hardback

13 471 Ft

Malý zajíček Oblečení neuvedený autor

Board book

822 Ft

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.