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: 70.70 EUR
Availability: InStock

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

70.70 €

Skladom u dodávateľa v malom množstve
Odosielame za 10 - 15 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

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

Controlled Nanoscale Motion
139.26 €
Kúpiť
Miki Falls, Spring
11.33 €
Kúpiť
Incinerator
8.98 € -23 %
Kúpiť
Magician's Doubts
56.19 €
Kúpiť
Memoirs Of Eighty Years (1892)
40.15 €
Kúpiť
Delaware Indian Legend and the Story of their Troubles
21.65 €
Kúpiť
Letters from the Atlantic
16.95 €
Kúpiť
Extraordinary Cases.
34.42 € -3 %
Kúpiť
A Blueprint For Achieving Peace On Earth
18.38 €
Kúpiť
Drowning In My Tea Cup: There Should Have Been A Rainbow
10 €
Kúpiť
Nervus vagus
5.92 € -31 %
Kúpiť
20. Jahrhundert. Gefahrdet und gefahrlich
47.40 €
Kúpiť
Klar zum Feuern
20.02 €
Kúpiť
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección
105.64 €
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz 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 175 bodov

Anotácia knihy

Parametre knihy

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

70.70 €

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