phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Logic Based Program Synthesis and Transformation

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logic Based Program Synthesis and Transformation Maurice Bruynooghe
Libristo kód: 01559466
Kiadó Springer, Berlin, november 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Teljes leírás
? points 154 b
24 806 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Incredible English: 2: Class Book Sarah Phillips / Puha kötésű
common.buy 6 870 Ft
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Lap
common.buy 1 818 Ft
Ehe ich mich Traue Joachim Peters / Puha kötésű
common.buy 5 567 Ft
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Puha kötésű
common.buy 14 687 Ft
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Lap
common.buy 4 954 Ft
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Kemény kötésű
common.buy 25 594 Ft
Embracing a Dictatorship Boris N Liedtke / Kemény kötésű
common.buy 48 890 Ft
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Kemény kötésű
common.buy 16 360 Ft

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

Információ a könyvről

Teljes megnevezés Logic Based Program Synthesis and Transformation
Szerző Maurice Bruynooghe
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2004
Oldalszám 238
EAN 9783540221746
ISBN 3540221743
Libristo kód 01559466
Kiadó Springer, Berlin
Súly 380
Méretek 156 x 234 x 13

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása