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

25 Years of Model Checking

Nyelv AngolAngol
Könyv Puha kötésű
Könyv 25 Years of Model Checking Orna Grumberg
Libristo kód: 01567994
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2008
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature... Teljes leírás
? points 118 b
18 608 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

96 Hours - Taken 2, Extended Cut, 1 Blu-ray Olivier Megaton / Blu-ray
common.buy 5 283 Ft
Lambacher Schweizer Mathematik 8 - G8. Ausgabe Hessen / Lap
common.buy 10 221 Ft
Heine und die Nachwelt Geschichte seiner Wirkung in den deutschsprachigen Ländern Dietmar Goltschnigg / Kemény kötésű
common.buy 33 038 Ft
2084 Robert A Kaiser / Puha kötésű
common.buy 8 210 Ft
120 Great Orientalist Paintings CD-ROM and Book / Puha kötésű
common.buy 7 658 Ft
Zebra 2 Sonja Kargl / Lap
common.buy 6 184 Ft
classical dictionary of the vulgar tongue. The second edition, corrected and enlarged. Francis Grose / Puha kötésű
common.buy 13 229 Ft
4. Jahrgang, Heft 1/2009. Übergang Schule - Hochschule / Puha kötésű
common.buy 3 434 Ft
.. Mikhail Alekseevich Venevitinov / Puha kötésű
common.buy 9 603 Ft
TERRA Erdkunde 1. Ausgabe Hessen Gymnasium / Kemény kötésű
common.buy 13 878 Ft
Camden Market - Ausgabe 2005 Otfried Börner / Kemény kötésű
common.buy 14 065 Ft

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Információ a könyvről

Teljes megnevezés 25 Years of Model Checking
Szerző Orna Grumberg, Helmut Veith
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 234
EAN 9783540698494
ISBN 3540698493
Libristo kód 01567994
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 370
Méretek 156 x 235 x 15

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
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 > Információtechnológia: általános jellegű
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