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: 1182.00 CZK
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
Vazba: Brožovaná
Počet stran: 222
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
Více informací o knize

1182 Kč

Skladem u dodavatele
Odesíláme za 5-8 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Rise of the Dragon
827 Kč
Koupit
The Notary Art of Solomon: Ars Notoria
157 Kč
Koupit
Rolfing Experience
457 Kč
Koupit
Miki Falls, Spring
191 Kč
Koupit
Incinerator
315 Kč
Koupit
Clarinet for Beginners: Book 1 - Elementary
283 Kč
Koupit
Extraordinary Cases.
604 Kč
Koupit
Fake Leadership in Higher Education
3654 Kč
Koupit
Drowning In My Tea Cup: There Should Have Been A Rainbow
186 Kč
Koupit
Autonomía de la escuela : principios y propuestas
524 Kč
Koupit
Hard Tack and Coffee
482 Kč
Koupit
Beyond Chopped Liver
808 Kč
Koupit
THINGS WE DO TO OUR FRIENDS
334 Kč
Koupit
Cholesterol Treatment
423 Kč
Koupit
Magician's Doubts
1218 Kč
Koupit
Rise of Early Modern Science
3175 Kč
Koupit
Retail Marketing Strategy
2780 Kč
Koupit
The Defense Of Stonington, Connecticut Against A British Squadron, August 9-12, 1814 (1864)
402 Kč
Koupit
Tubbz kachnička mini Krotitelé duchů - Ray Stanz
314 Kč
Koupit
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda
813 Kč
Koupit
Values
1101 Kč
Koupit
Die asiatische Cholera
298 Kč
Koupit
A Blueprint For Achieving Peace On Earth
341 Kč
Koupit
Living Theory
2699 Kč
Koupit
Memoirs Of Eighty Years (1892)
750 Kč
Koupit
Delaware Indian Legend and the Story of their Troubles
287 Kč
Koupit
Essays in Memory of Imre Lakatos
4059 Kč
Koupit
Curso sobre agricultura biodinámica
567 Kč
Koupit
Prime Minister's Ironing Board and Other State Secrets
382 Kč
Koupit
Melekler Kiz mi, Erkek mi
211 Kč
Koupit
'Tis Grace
324 Kč
Koupit
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41
110 Kč
Koupit
Ad gentes. Racconti dalle missioni
507 Kč
Koupit
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección
2643 Kč
Koupit
Controlled Nanoscale Motion
2357 Kč
Koupit
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph...
750 Kč
Koupit
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible
423 Kč
Koupit
Chimpanzee
814 Kč
Koupit
Klar zum Feuern
208 Kč
Koupit
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver
402 Kč
Koupit
How to Knit a Love Song: A Cypress Hollow Yarn
348 Kč
Koupit
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3
293 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Logic-Based Program Synthesis and Transformation

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development

1182 Kč

Plný název: Logic-Based Program Synthesis and Transformation
Podnázev: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Autor: Andy King
Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 222
EAN: 9783540787686
ISBN: 3540787682
ID: 01570057
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost: 365 g
Rozměry: 14 × 154 × 239 mm
Datum vydání: 18. March 2008