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 Modeling and Analysis of Timed Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Modeling and Analysis of Timed Systems Eugene Asarin
Libristo kód: 01564776
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2006
This book constitutes the refereed proceedings of the 4th International Conference on Formal Modelin... 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

Color John Rohrbach / Kemény kötésű
common.buy 32 292 Ft
Der Böse steht noch einmal auf ... und andere Klischees aus Hollywood-Filmen Christian G. Salis / Puha kötésű
common.buy 4 720 Ft
ESSperimente 3. Bd.3 Sieglinde Mertlitz / Kemény kötésű
common.buy 5 149 Ft
Unlikely Liberal Matthew Zencey / Kemény kötésű
common.buy 9 269 Ft
Schulpastoral an berufsbildenden Schulen des dualen Schulsystems Markus Seibt / Puha kötésű
common.buy 12 116 Ft
Unter Javas Tropensonne Louis Couperus / Puha kötésű
common.buy 13 048 Ft
Lion Joseph Kessel / Puha kötésű
common.buy 4 846 Ft
Umbruch der internationalen Leasingbilanzierung Matthias Wos / Puha kötésű
common.buy 17 642 Ft

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

Információ a könyvről

Teljes megnevezés Formal Modeling and Analysis of Timed Systems
Szerző Eugene Asarin, Patricia Bouyer
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2006
Oldalszám 372
EAN 9783540450269
ISBN 3540450262
Libristo kód 01564776
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1200
Méretek 155 x 235 x 21

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
Matematika és természettudomány > Matematika > Alkalmazott matematika
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
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