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

Formal Techniques in Real-Time and Fault-Tolerant Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph
Libristo kód: 01563048
Kiadó Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniqu... Teljes leírás
? points 154 b
24 806 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

toplistás
Magic and Mystery in Tibet Alexandra David-Neel / Puha kötésű
common.buy 5 695 Ft
Magic and Mystery in Tibet Alexandra David-Neel / Puha kötésű
common.buy 6 113 Ft
Ultrasound of the Male Genitalia Bruce R. Gilbert / Kemény kötésű
common.buy 49 725 Ft
Daily Strength for Daily Needs Mary Tileston / Puha kötésű
common.buy 16 232 Ft
Flachenrecycling Durch Kontrollierten Ruckbau Eva Koch / Puha kötésű
common.buy 48 890 Ft
Keyboard Music of J.S. Bach David Schulenberg / Kemény kötésű
common.buy 80 936 Ft
Cambridge Checkpoints VCE Economics 2004-07 Nina de Garis / Puha kötésű
common.buy 6 628 Ft
Elderescence Jane Thayer / Puha kötésű
common.buy 24 986 Ft

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

Információ a könyvről

Teljes megnevezés Formal Techniques in Real-Time and Fault-Tolerant Systems
Szerző Mathai Joseph
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2000
Oldalszám 314
EAN 9783540410553
ISBN 3540410554
Libristo kód 01563048
Kiadó Springer, Berlin
Súly 458
Méretek 155 x 235 x 17

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek
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 > Adatbázisok > Adatbefogás és elemzés
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
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
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