Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 17593004

Kiadó Springer International Publishing AG, július 2017

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of c... Teljes leírás

Libristo kód: 17593004

136 b

19 829 Ft

Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Gewerkschaftsfusion und Tarifautonomie. Peter Koopmann

Puha kötésű

30 038 Ft

Le port de Paris et ses affluents commerciaux. L'après-guerre et la victoire économique Michel Lemarchand

Puha kötésű

10 661 Ft

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013. The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Models, Algorithms, Logics and Tools

Szerző Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2017

Oldalszám 662

EAN 9783319631202

ISBN 9783319631202

Libristo kód 17593004

Kiadó Springer International Publishing AG

Súly 1013

Méretek 155 x 235 x 43

Kategória

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 > Komputermodellálás és szimuláció

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia

Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció

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