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

Static Analysis

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Static Analysis Patrick Cousot
Libristo kód: 01563611
Kiadó Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... 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

Fyzika 1 pro střední školy Oldřich Lepil / Puha kötésű
common.buy 3 639 Ft
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Kemény kötésű
common.buy 11 304 Ft
Malá noční můra Ondřej Červinka / Puha kötésű
common.buy 407 Ft
Perfect (Teacher) Coach Terri Broughton / Kemény kötésű
common.buy 6 380 Ft
Marvelous Land of Oz Frank L. Baum / Puha kötésű
common.buy 6 254 Ft
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Puha kötésű
common.buy 29 028 Ft
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Kemény kötésű
common.buy 177 624 Ft
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Puha kötésű
common.buy 37 195 Ft
My Friends and I. (Three Tales.) Edited by Julian Sturgis. Julian Russell Sturgis / Puha kötésű
common.buy 10 225 Ft
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Puha kötésű
common.buy 3 087 Ft
Advances in Gabor Analysis Hans G. Feichtinger / Kemény kötésű
common.buy 51 953 Ft

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

Információ a könyvről

Teljes megnevezés Static Analysis
Szerző Patrick Cousot
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2001
Oldalszám 439
EAN 9783540423140
ISBN 3540423141
Libristo kód 01563611
Kiadó Springer, Berlin
Súly 635
Méretek 155 x 235 x 23

Kategória

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é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
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