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

Model Checking Software

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Matthew Dwyer
Libristo kód: 01563494
Kiadó Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Teljes leírás
? points 168 b
26 638 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

hamarosan
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Puha kötésű
common.buy 18 146 Ft
Shopkins Cicibiciler - Mutsuz Kurabi / Puha kötésű
common.buy 8 984 Ft
Underdog Sue-Ann Levy / Kemény kötésű
common.buy 11 982 Ft
Finite Dimensional Convexity and Optimization Monique Florenzano / Kemény kötésű
common.buy 52 505 Ft
Nine Man Eaters and One Rogue Kenneth Anderson / Puha kötésű
common.buy 8 319 Ft
My School Improvement Doodle Book Ben Keeling / Puha kötésű
common.buy 6 848 Ft
Softly Calls the Serengeti Frank Coates / Puha kötésű
common.buy 4 611 Ft
Resin Microscopy and On-Section Immunocytochemistry Geoffrey R. Newman / Kemény kötésű
common.buy 104 248 Ft
Resonant Robotic Systems Vladimir I. Babitsky / Kemény kötésű
common.buy 52 505 Ft

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Matthew Dwyer
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2001
Oldalszám 318
EAN 9783540421245
ISBN 3540421246
Libristo kód 01563494
Kiadó Springer, Berlin
Súly 467
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