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
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 Sandro Etalle
Libristo kód: 01560821
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2005
This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on... Teljes leírás
? points 168 b
26 358 Ft
Beszállítói készleten alacsony példányszámban Küldés 14-18 napon belül

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

Ezt is ajánljuk

toplistás
Haikyu!!, Vol. 14 Haruichi Furudate / Puha kötésű
common.buy 3 890 Ft
Maze Runner James Dashner / Puha kötésű
common.buy 4 452 Ft
Google Cloud Platform in Action John J. Geewax / Puha kötésű
common.buy 28 697 Ft
Maltese Falcon Dashiell Hammett / Puha kötésű
common.buy 3 750 Ft
Secret Kingdom: Magic Mountain Rosie Banks / Puha kötésű
common.buy 2 836 Ft
Treasure Island and The Ebb-Tide Robert Louis Stevenson / Puha kötésű
common.buy 3 293 Ft
Enterococcus faecalis / Kemény kötésű
common.buy 109 989 Ft
E-Myth Contractor Michael E. Gerber / Puha kötésű
common.buy 6 726 Ft
Forensic Ballistics in Court - Interpretation and Presentation of Firearms Evidence Brian J. Heard / Kemény kötésű
common.buy 64 718 Ft
Model-Based Reasoning in Science and Technology Lorenzo Magnani / Kemény kötésű
common.buy 103 153 Ft
Nuclear Weapons Counterproliferation Jack Garvey / Kemény kötésű
common.buy 69 250 Ft
Ma, I've Reached for the Moon an I'm Hittin the Stars Martha Long / Puha kötésű
common.buy 7 294 Ft
Text Book of Boxing Jim Driscoll / Puha kötésű
common.buy 8 187 Ft
English Auxiliaries Anthony R. Warner / Puha kötésű
common.buy 21 077 Ft
Graph Based Representations in Pattern Recognition Edwin Hancock / Puha kötésű
common.buy 26 358 Ft
From Understanding to Action Marco Keiner / Kemény kötésű
common.buy 51 953 Ft

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004. The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Információ a könyvről

Teljes megnevezés Logic Based Program Synthesis and Transformation
Szerző Sandro Etalle
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2005
Oldalszám 284
EAN 9783540266556
ISBN 3540266550
Libristo kód 01560821
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 450
Méretek 155 x 235 x 16

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é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 > Számítógépes programozás / szoftvermérnöki tudomány
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