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
phone Kapcsolat phoneHogyan vásároljunk

Model Checking

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Model Checking Clarke
Libristo kód: 19285025
Kiadó MIT Press Ltd, december 2018
An expanded and updated edition of a comprehensive presentation of the theory and practice of model...
? points 234 b
39 258 Ft ▸ -6 %
36 512 Ft
50 % esély Keressük az egész világon Mikor kapom meg a terméket?

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Flow Mihaly Csikszentmihalyi / Puha kötésű
common.buy 3 134 Ft
toplistás
The Art of How to Train Your Dragon Tracey Miller-Zarneke / Kemény kötésű
common.buy 17 183 Ft
The Lies We Tell Ourselves: How to Face the Truth, Accept Yourself, and Create a Better Life Jon Frederickson / Puha kötésű
common.buy 6 049 Ft
Propaganda Jacques Ellul / Puha kötésű
common.buy 6 862 Ft
Poručník Lady Fiony Amanda Scott / Kemény kötésű
common.buy 3 229 Ft
Knowledge Illusion Steven Sloman / Puha kötésű
common.buy 6 343 Ft
Moje pierwsze pięć lat wspomnienie dzieciństwa Opracowanie Zbiorowe / Kemény kötésű
common.buy 6 363 Ft
A Summer Spell Sue Bentley / Puha kötésű
common.buy 2 944 Ft
HIDDEN P. C. Cast / Kemény kötésű
common.buy 8 045 Ft
Portae cum turribus Paul Bidwell / Puha kötésű
common.buy 44 701 Ft
Verlaque i Bonnet na tropie Tom 1 Śmierć w Chateau Bremont Longworth M. L. / Puha kötésű
common.buy 2 745 Ft
Fox the Tiger Corey R. Tabor / Puha kötésű
common.buy 2 246 Ft
Traditional Architecture Alireza Sagharchi / Kemény kötésű
common.buy 17 896 Ft
Raising Girls into Extraordinary Young Women Monica Hawkins Ph.D. M.P.H. / Puha kötésű
common.buy 5 614 Ft
World Heritage and Sustainable Development Peter Bille Larsen / Puha kötésű
common.buy 21 859 Ft
17 songs Dario Greggio / Puha kötésű
common.buy 10 116 Ft

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Információ a könyvről

Teljes megnevezés Model Checking
Szerző Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2018
Oldalszám 424
EAN 9780262038836
ISBN 9780262038836
Libristo kód 19285025
Kiadó MIT Press Ltd
Súly 820
Méretek 187 x 236 x 25

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány
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