Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Arvutid / Varia / Model Checking

Raamat

Model Checking

Autor: Edmund M., Jr. Clarke (Carnegie Mellon University), Orna Grumberg (Technion), Doron Peleg

* * * * * * * * * * Loe arvustusi (0)

98.81 97.32 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: Kiirtellimusega: laupäev 16.11

Sisukirjeldus

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.

Lisainfo
ISBN 9780262032704
Ilmumisaasta 1999
Keel ingliskeelne
Formaat Kõvakaaneline
Lehekülgi 330 lk
Kirjastus MIT Press Ltd
Sari Cyber Physical Systems Series
Lisamise aeg: 30.03.2017

98.81 97.32 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: Kiirtellimusega: laupäev 16.11

Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.