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í
| nakladatel | VUTIUM |
|---|---|
| rok vydání | 2011 |
| jazyk | anglicky |
| 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
Tuto knihu zatím nikdo neshání
Sháním tuto knihu
Jakmile knihu někdo nabídne, dáme vám vědět.
Komentáře
Tuto knihu zatím nikdo nekomentoval.
Pro přidávání komentářů se prosím přihlašte.