Kniha Coping with complexity and undecidability in automated verification of computer-based systems - thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovací - Trh knih - online antikvariát

Coping with complexity and undecidability in automated verification of computer-based systems thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovací

Tomáš Vojnar

Moje hodnocení
Zatím nikdo nehodnotil
kniha Coping with complexity and undecidability in automated verification of computer-based systems thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovací, VUTIUM 2011
jazyk anglicky
rok vydání 2011
Zobrazit více
nakladatel VUTIUM
místo Brno
stran 33
rozměry 24 cm
poznámka il.
ISBN 978-80-214-4251-1 (brož.)
Prodám tuto knihu

Tuto knihu nikdo nenabízí

Nabízení knih k prodeji je dostupné pouze registrovaným uživatelům s ověřeným číslem mobilního telefonu. Zaregistrovat

Sháním tuto knihu

Knihu zatím nikdo neshání

Sháním tuto knihu

Jakmile knihu někdo nabídne, dáme vám vědět.

Pokud sháníte více knih, doporučujeme se nejdříve zaregistrovat. Je to zdarma.

(reklama)

Recenze

Přidejte svou recenzi a pomozte dalším čtenářům

Tuto knihu zatím nikdo nekomentoval.

Pro přidávání komentářů se prosím přihlašte.

Nahlásit chybu u této knihy

Nahlásit chybu u této knihy


Antikvariát Restorio

Restorio banner

(reklama)

(reklama)

Mohlo by vás zajímat

Poslední navštívené (vypsat vše)