Kód: 01570057

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570057
Price: 51.63 EUR
Availability: InStock
Author: Andy King
ISBN: 9783540787686

Autor Andy King

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as sof ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 222
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
Viac informácií o knihe

51.63 €

Bežne: 55.90 €

Ušetríte 4.28 €

Skladom u dodávateľa
Odosielame za 5 - 8 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Rise of the Dragon
41.22 € -21 %
Kúpiť
The Notary Art of Solomon: Ars Notoria
6.86 € -6 %
Kúpiť
Rolfing Experience
20 € -9 %
Kúpiť
Miki Falls, Spring
7.87 € -18 %
Kúpiť
Incinerator
13.94 € -24 %
Kúpiť
Clarinet for Beginners: Book 1 - Elementary
11.71 € -22 %
Kúpiť
Extraordinary Cases.
24.95 € -24 %
Kúpiť
Beyond Chopped Liver
33.34 € -25 %
Kúpiť
Cholesterol Treatment
17.47 € -2 %
Kúpiť
THINGS WE DO TO OUR FRIENDS
13.83 € -26 %
Kúpiť
Retail Marketing Strategy
114.79 €
Kúpiť
Autonomía de la escuela : principios y propuestas
21.62 €
Kúpiť
The Defense Of Stonington, Connecticut Against A British Squadron, August 9-12, 1814 (1864)
16.56 € -2 %
Kúpiť
Drowning In My Tea Cup: There Should Have Been A Rainbow
7.67 € -7 %
Kúpiť
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda
35.66 € -14 %
Kúpiť
Values
47.99 € -4 %
Kúpiť
Living Theory
111.45 €
Kúpiť
Hard Tack and Coffee
19.90 € -18 %
Kúpiť
Rise of Early Modern Science
136.11 €
Kúpiť
Delaware Indian Legend and the Story of their Troubles
12.62 € -14 %
Kúpiť
Curso sobre agricultura biodinámica
23.43 €
Kúpiť
Essays in Memory of Imre Lakatos
167.64 €
Kúpiť
Melekler Kiz mi, Erkek mi
9.19 € -4 %
Kúpiť
'Tis Grace
13.33 € -25 %
Kúpiť
Prime Minister's Ironing Board and Other State Secrets
15.96 € -20 %
Kúpiť
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección
109.13 €
Kúpiť
Magician's Doubts
50.31 €
Kúpiť
Controlled Nanoscale Motion
102.86 € -7 %
Kúpiť
Die asiatische Cholera
12.32 € -9 %
Kúpiť
Klar zum Feuern
9.08 € -10 %
Kúpiť
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph...
30.91 € -2 %
Kúpiť
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible
17.47 € -2 %
Kúpiť
A Blueprint For Achieving Peace On Earth
14.04 € -7 %
Kúpiť
Chimpanzee
35.96 € -4 %
Kúpiť
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver
16.56 € -3 %
Kúpiť
How to Knit a Love Song: A Cypress Hollow Yarn
15.05 €
Kúpiť
Pathologie und Therapie der mannlichen Impotenz
19.70 € -11 %
Kúpiť
20. Jahrhundert. Gefahrdet und gefahrlich
16.16 € -10 %
Kúpiť
Dust
51.63 €
Kúpiť
Memoirs Of Eighty Years (1892)
27.48 €
Kúpiť
Cheyenne
36.77 €
Kúpiť
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3
12.12 € -1 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Logic-Based Program Synthesis and Transformation

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development

51.63 €

Celý názov: Logic-Based Program Synthesis and Transformation
Podnázov: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Autor: Andy King
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 222
EAN: 9783540787686
ISBN: 3540787682
ID: 01570057
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 365 g
Rozmery: 14 × 154 × 239 mm
Dátum vydania: 18. March 2008