Code: 05274933

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05274933
Price: 51.59 EUR
Availability: InStock
Author: Pierre Flener
ISBN: 9783540657651

by Pierre Flener

Language: English
Binding: Paperback
Number of pages: 338
Publisher: Springer, Berlin, 1999
More about this

51.59 €

RRP: 55.86 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Super Minds Level 5 Workbook with Digital Pack British English
10.59 € -5 %
Buy
B-Grammatik
20.49 € -9 %
Buy
Herbář léčivých rostlin (1)
11.90 € -17 %
Buy
Vikont koji me volio
13.22 €
Buy
Karty vědomé duše
6.55 € -20 %
Buy
ADHD For Smart Ass Women
18.06 € -25 %
Buy
Lass uns reden!
19.68 €
Buy
Walking Disaster
15.94 € -29 %
Buy
5 Towers (Deep Print Games)
9.58 € -9 %
Buy
100 Greatest Commodore 64 Games
11.70 € -1 %
Buy
Solution Talk: Hosting Therapeutic Conversations
16.95 € -17 %
Buy
Skicák TVOŘIVOST B5, čistý, 80 listů
3.83 € -33 %
Buy
Fullmetal Alchemist 18
7.06 € -31 %
Buy
Eren
8.67 € -25 %
Buy
New York Intellectuals
41.08 €
Buy
Every Brain is Beautiful
11.30 € -25 %
Buy
Why Tyrannosaurus But Not If? US/Can edition
16.15 € -2 %
Buy
Philadelphia, 1 Blu-ray
14.73 €
Buy
Shame Game
16.65 € -9 %
Buy
Architecture with the people, by the people. Yona Friedman
28.46 € -25 %
Buy
Příchod bohů
13.82 € -16 %
Buy
The Fog - Nebel des Grauens, 1 DVD (Digital Remastered)
13.12 €
Buy
Ubiquitous Multimedia Computing
291.99 €
Pre-order
Geography and the Ascension Narrative in Acts
127.01 €
Buy
ESO NO ESTABA EN MI LIBRO DEL NUEVO TESTAMENTO
29.57 €
Buy
Pull Up the Ladder Jack
31.19 €
Buy
Human Pituitary Hormones
51.59 € -7 %
Buy
Mein erstes Anziehpuppen-Stickerbuch: Bella, die kleine Ballerina
7.76 €
Buy
Die Rechtliche Ordnung Der Benutzung Oeffentlicher Einrichtungen
96.11 € -10 %
Buy
Transition and the Spatial Organization of Industries
81.78 €
Buy
Third Eye Awakening
11.30 € -25 %
Buy
Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda
36.14 € -7 %
Buy
Walnut Warriors (R) (in Outer Space)
31.59 €
Buy
Maigret's Anger
11.80 € -25 %
Buy
Body and the Screen
51.69 €
Buy
Mission Somewhat Kinda Sort of But Not Really Completely 100%% Impossible
27.15 € -1 %
Buy
Study Guide for Stephen Spender's What I Expected
11.20 € -2 %
Buy
Deutscher und Europaischer Qualifikationsrahmen (DQR und EQR)
40.07 € -11 %
Buy
Peveril of the Peak
146.60 €
Buy
Guida per principianti alla produzione e alla gestione dei suini
61.28 € -14 %
Buy
CHAPITRES TOURNES EN TOUS SENS PIANO
33.11 €
Buy
Conservatives: Dead or Alive
20.79 € -7 %
Buy
Markets, Games, and Organizations
102.78 € -7 %
Buy
Baptist Encyclopaedia - Vol. 3
43.61 € -10 %
Buy
Hormigón ligero OPS reforzado con fibra de polipropileno
32 € -14 %
Buy
New Industries from New Places: The Emergence of the Software and Hardware Industries in China and India
33.41 € -12 %
Buy
Jump Start Git, 2e
21.60 € -25 %
Buy
Information Systems: Research, Development, Applications, Education
51.59 € -7 %
Buy
Voices of Diversity
51.59 € -7 %
Buy
Meditations on the Human Condition in an Imperial Age
18.16 € -25 %
Buy
Glimpse of Glory
22.30 € -25 %
Buy
Raising Charlie: The Lessons of a Perfect Dog
9.88 € -25 %
Buy
Trace Element Speciation in Surface Waters and Its Ecological Implications
51.59 € -7 %
Buy
Matériaux High-k dans les mémoires non-volatiles avancées
70.26 € -14 %
Buy
Obesity and Diabetes
245.14 €
Buy
Open and nimble
37.75 €
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 presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Book details

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

51.59 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 8th International Workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998. Selected Papers
Author: Pierre Flener
Language: English
Binding: Paperback
Number of pages: 338
EAN: 9783540657651
ISBN: 3540657657
ID: 05274933
Publisher: Springer, Berlin
Weight: 450 g
Dimensions: 234 × 156 × 18 mm
Published: 1999