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 Susanne Graf
Libristo kód: 01559203
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... 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

kiárusítás
Bart Simpson Malý rošťák Matt Groening / Puha kötésű
common.buy 438 Ft
Obituary Mario Martinez / Kemény kötésű
common.buy 12 040 Ft
From Divergent Power Series to Analytic Functions Werner Balser / Puha kötésű
common.buy 14 776 Ft
Multicriteria Analysis for Land-Use Management E. Beinat / Kemény kötésű
common.buy 103 526 Ft
Dorset Terry Gough / Puha kötésű
common.buy 7 320 Ft
Eurythmics / Puha kötésű
common.buy 9 929 Ft
Morality and Action Warren Quinn / Kemény kötésű
common.buy 54 897 Ft
Mathematical Modeling in Chemical Engineering Anders Rasmuson / Kemény kötésű
common.buy 34 358 Ft
Frontiers in Algorithms D. T. Lee / Puha kötésű
common.buy 26 786 Ft
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1 Richard Plantagenet Buckingham and Chandos / Puha kötésű
common.buy 15 531 Ft
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Puha kötésű
common.buy 8 484 Ft
Columbo - Ein Hund fur alle "Felle" Barbara Schilling / Puha kötésű
common.buy 3 919 Ft
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Kemény kötésű
common.buy 80 171 Ft
Classic Operating Systems Per Brinch Hansen / Kemény kötésű
common.buy 52 141 Ft
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Puha kötésű
common.buy 15 280 Ft
Forced Saving Hazel BatemanGeoffrey KingstonJohn Piggott / Puha kötésű
common.buy 21 169 Ft

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Susanne Graf, Laurent Mounier
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2004
Oldalszám 314
EAN 9783540213147
ISBN 3540213147
Libristo kód 01559203
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 493
Méretek 155 x 235 x 18

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