English 
Čeština 
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ímu řízení v oboru Výpočetní technika a informatika /
| Main Author: | Vojnar, Tomáš, 1973- |
|---|---|
| Corporate Author: | Vysoké učení technické v Brně. Ústav inteligentních systémů |
| Language: | English |
| Published: |
Brno : VUTIUM, 2011 |
| Series: |
Vědecké spisy Vysokého učení technického v Brně. Habilitační a inaugurační spisy,
sv. 385 |
| Subjects: | |
| Physical Description: |
33 s. : il. ; 24 cm |
| Language note: |
České resumé |
|
Book
Z důvodu uzavření knihovny je až do odvolání zablokována možnost zadávání požadavků na výpůjčky. Děkujeme za pochopení.
| item status | due date | sublibrary | collection | location / second signature | description | note | Stock location mark |
|---|---|---|---|---|---|---|---|
|
Reference only
|
On Shelf |
|
Stock / within 1 hour
|
2-1279.280 | |||
|
Month
|
On Shelf |
|
Stock / within 1 hour
|
2-1279.280 |