Code: 09249952

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer International Publishing AG
SKU: 09249952
Price: 51.68 EUR
Availability: InStock
Author: Maurizio Proietti
ISBN: 9783319178219

by Maurizio Proietti, Hirohisa Seki

Language: English
Binding: Paperback
Number of pages: 333
Publisher: Springer International Publishing AG, 2015
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Biologie víry
13.54 € -17 %
Buy
100 Dogs
10.51 € -9 %
Buy
Urban Intervention: Design Ideas for Public Space
47.13 € -11 %
Buy
Černé ovce a beránek Boží
12.43 € -29 %
Buy
Direkt NEU 1
18.70 € -9 %
Buy
Drifters Volume 5
11.12 € -26 %
Buy
Pokrevenstvo Amberu
7.27 € -26 %
Buy
Globalización y salud mental
37.92 €
Buy
Cost Accounting and Financial Management for Construction Project Managers
199.78 €
Buy
What's it Worth?
67.26 €
Buy
For Capital, For God, or For Liberty
79.90 € -4 %
Buy
Leadership
12.23 € -13 %
Buy
Building Dynamics
120.27 €
Buy
Just Cause
28.31 € -2 %
Buy
Mystische Dimensionen der Psyche
16.18 € -10 %
Buy
Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie
8.59 € -15 %
Buy
Integration de La Promotion de La Sante Au Sein Du Tourisme de Bien-Etre
31.25 € -14 %
Buy
Western Africa: Along the Atlantic Ocean Coast
50.67 €
Buy
M'as-tu vu en cadavre ?
20.63 €
Buy
The Day Will Come
35.70 € -14 %
Buy
Animal Coloring Book For Adults: Best Animal Coloring book for ever ! 100 pages awesome illistration will be best for gift
7.27 € -6 %
Buy
Coloraines, Eduació Infantil, 3 anys. 1 trimestre
42.98 € -19 %
Buy
Untersuchungen über Gegenstände der höheren Geodäsie
89.92 € -3 %
Buy
Storey's Guide to Raising Miniature Livestock
18.30 € -24 %
Buy
Explorers
18.30 € -7 %
Buy
Chinese Research Perspectives on Population and Labor, Volume 1
184.60 €
Buy
British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1
20.12 €
Buy
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente
14.96 € -6 %
Buy
Kearny's March
17.69 € -17 %
Buy
Comparative Study of Chinese and Western Cyclic Myths
70.09 € -4 %
Buy
Lectures at St. Peters, in 1890, on Some Urinary Disorders Connected with the Bladder, Prostate and Urethra (1890)
20.22 € -1 %
Buy
Confessions of a Middle-Aged Hippie Geek
14.86 € -7 %
Buy
The Magic Coat
6.36 € -7 %
Buy
On Liberty
10.31 € -2 %
Buy
Je te vois reine des quatre parties du monde
14.05 €
Buy
Next of Kin
9.70 € -9 %
Buy
Great Email Disasters
9.70 € -9 %
Buy
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO)
43.59 €
Buy
Ghost in the Well
100.54 € -10 %
Buy
Conducting Prescribed Fires
29.53 €
Buy
Motives To The Study Of Hebrew (1814)
22.85 € -2 %
Buy
Global West, American Frontier
34.08 €
Buy
I Beat Heart Disease, So Can You
12.03 € -24 %
Buy
Korea Strait
17.59 € -24 %
Buy
Great Names in American History
34.59 € -2 %
Buy
Theoretical Scholarship and Applied Practice
141.61 €
Buy
Sandy's Miracle
15.57 €
Buy
From Anthropometry to Genomics
14.76 € -25 %
Buy
Manual of Percussion and Auscultation
19.31 € -2 %
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-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

Book details

Book category Books in English Mathematics & science Mathematics Discrete mathematics

51.68 €

Full title: Logic-Based Program Synthesis and Transformation
Subtitle: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author: Maurizio Proietti, Hirohisa Seki
Language: English
Binding: Paperback
Number of pages: 333
EAN: 9783319178219
ISBN: 3319178210
ID: 09249952
Publisher: Springer International Publishing AG
Weight: 534 g
Dimensions: 235 × 155 × 19 mm
Date of publishing: 23. April 2015