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

Analysis and Verification of Multiple-Agent Languages, LOMAPS '96

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Analysis and Verification of Multiple-Agent Languages, LOMAPS '96 Mads Dam
Libristo kód: 05274662
Kiadó Springer, Berlin, november 1996
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Lan... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

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

Ezt is ajánljuk

toplistás
Save Me Mona Kasten / Puha kötésű
common.buy 5 149 Ft
Adam, Eva I Zmija Elejn Pejgels / Puha kötésű
common.buy 8 937 Ft
hamarosan
LANDSCAPE DESIGN PROMENADES / Kemény kötésű
common.buy 14 494 Ft
Translating Empire Laura Lomas / Kemény kötésű
common.buy 56 594 Ft
Allgemeine Versicherungsbedingungen Heinrich Dörner / Puha kötésű
common.buy 11 189 Ft
Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products Bernhard Krautler / Kemény kötésű
common.buy 52 141 Ft
Logicism and the Philosophy of Language / Puha kötésű
common.buy 24 897 Ft
Truth about Mid-Life Singles in the USA Caro Kirchhof / Puha kötésű
common.buy 26 816 Ft
Reinventing "The People" Shelton Stromquist / Puha kötésű
common.buy 12 463 Ft
Works of Charles Darwin: Vol 7: The Structure and Distribution of Coral Reefs Charles Darwin / Kemény kötésű
common.buy 34 861 Ft
EinFach Deutsch Unterrichtsmodelle Arthur Schnitzler / Puha kötésű
common.buy 13 204 Ft
Young Disabled People Sonali Shah / Kemény kötésű
common.buy 81 446 Ft

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Információ a könyvről

Teljes megnevezés Analysis and Verification of Multiple-Agent Languages, LOMAPS '96
Szerző Mads Dam
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1997
Oldalszám 444
EAN 9783540625032
ISBN 3540625038
Libristo kód 05274662
Kiadó Springer, Berlin
Súly 694
Méretek 156 x 234 x 23

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 > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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
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