Code: 01564461

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564461
Price: 51.53 EUR
Availability: InStock
Author: Alberto Pettorossi
ISBN: 9783540439158

by Alberto Pettorossi

Language: English
Binding: Paperback
Number of pages: 272
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
More about this

51.53 €

RRP: 55.80 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

One-Punch Man, Vol. 1
9.07 € -30 %
Buy
100 Things to Know About Numbers, Computers & Coding
10.78 € -24 %
Buy
Kúpte si družičku!
7.25 € -13 %
Buy
John Donne
10.78 € -24 %
Buy
Essential Business Grammar Builder, w. Audio-CD
40.54 € -9 %
Buy
LEGO® Harry Potter™ Kouzelnická zábava
6.75 € -17 %
Pre-order
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage)
19.66 € -11 %
Pre-order
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels
32.47 €
Buy
Little Book Of Eternal Wisdom
13.20 € -6 %
Buy
The Pigman's Legacy
12.40 € -26 %
Buy
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2
19.26 € -4 %
Buy
Understanding Physical Education
130.01 € -10 %
Buy
Strategic Reframing
110.24 €
Buy
Medical Imaging Techniques and Applications
113.16 € -12 %
Buy
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales
17.34 € -7 %
Buy
Ahmadu Bamba and Decolonization
42.86 €
Pre-order
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries
123.15 € -7 %
Buy
Landscape Design
60.51 €
Buy
Hybrid Latex Particles
307.53 € -7 %
Buy
Ornamentvogelspinnen
32.67 € -16 %
Buy
Biochemisches Handlexikon
52.94 € -7 %
Buy
Lost Founding Father
26.72 € -21 %
Buy
Production Planning in Automated Manufacturing
55.67 €
Buy
de Laberintos, Madrigueras y Telaranas
10.78 €
Buy
Information Geometry and Population Genetics
101.66 €
Buy
Counterfeit Souls
8.06 € -7 %
Buy
Coal Mining in Pakistan
35.60 € -14 %
Buy
On Light and Other High Frequency Phenomena
14.82 € -1 %
Buy
Echoes Down a Dark Well
16.63 € -6 %
Buy
How To Be Free: A Practical Guide To Positive Living
9.77 € -6 %
Buy
Arms and Legs, Fingers and Toes - CD + Hc Book - Package
18.65 € -24 %
Buy
La mort sur ses épaules
29.34 €
Buy
Community, Economic Creativity, and Organization
79.17 €
Buy
The Question of Alsace and Lorraine
14.62 € -24 %
Buy
Protagonismo femenino en cuentos y leyendas de México y Centroamérica
16.23 €
Buy
Lost Tucker's Island
11.99 € -24 %
Buy
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890)
21.88 € -2 %
Buy
FARMERS MARKET - Una aplicación web
39.13 € -14 %
Buy
South Windsor
22.99 € -25 %
Buy
When Black & White Make Green: The Next Evolution in Business & Race
18.04 € -9 %
Buy
Mind Power Secrets: Road To Riches
14.82 € -7 %
Buy
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender
28.33 € -12 %
Buy
Still Counting
24.90 € -5 %
Pre-order
Les Reformes Sociales
13 € -1 %
Buy
Convent. Arms Control - CL
149.57 €
Buy
Dark Coulee
13.81 € -18 %
Buy
Models in Cooperative Game Theory
102.67 € -7 %
Buy
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee
45.98 €
Buy
Operational Costs in Acquisitions
50.93 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Logic Based Program Synthesis and Transformation

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

51.53 €

Full title: Logic Based Program Synthesis and Transformation
Subtitle: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Author: Alberto Pettorossi
Language: English
Binding: Paperback
Number of pages: 272
EAN: 9783540439158
ISBN: 3540439153
ID: 01564461
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 880 g
Dimensions: 235 × 155 × 16 mm
Date of publishing: 17. July 2002