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

Model Checking Software

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Patrick Godefroid
Libristo kód: 01560970
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augusztus 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Teljes leírás
? points 168 b
26 173 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

Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Puha kötésű
common.buy 3 673 Ft
Lightning Strikes Stephanie Richards / Puha kötésű
common.buy 6 385 Ft
Metallbearbeitung. Tl.1 Wolfram Enders / Lap
common.buy 3 753 Ft
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Puha kötésű
common.buy 3 409 Ft
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Puha kötésű
common.buy 3 878 Ft
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Kemény kötésű
common.buy 80 533 Ft
GREAT CAROLS Hal Leonard Corp / Puha kötésű
common.buy 5 902 Ft
Making Good Carolyn Strange / Puha kötésű
common.buy 12 660 Ft
Across the Seasons Laura Rugel Glise / Puha kötésű
common.buy 8 862 Ft
Die Transformatoren R. Küchler / Puha kötésű
common.buy 40 035 Ft
Congregational Connections Nancy Burton Dilliplane / Kemény kötésű
common.buy 14 764 Ft
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Puha kötésű
common.buy 26 363 Ft

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Patrick Godefroid
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2005
Oldalszám 292
EAN 9783540281955
ISBN 3540281959
Libristo kód 01560970
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 960
Méretek 155 x 235 x 17

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épes építészet és logika tervezés
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