Výsledky hledání pro autora

Zobrazuji 1 - 8 z 8 pro vyhledávání: 'Vojnar, Tomáš, 1973-', doba hledání: 0,02s

Vybrat vše RSS Poslat emailem Uložit hledání

1.

Knihy

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 scien...

Hlavní autor Vojnar, Tomáš, 1973- Vydáno 2011

Dostupnost : Načítá se...

2.

Knihy

Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis /

Hlavní autor Vojnar, Tomáš, 1973- Vydáno 2007

Dostupnost : Načítá se...

3.

Knihy

Harnessing forest automata for verification of heap manipulating programs : monograph /

Hlavní autor Šimáček, Jiří, 1983- Vydáno 2012

Dostupnost : Načítá se...

4.

Knihy

Simulations and antichains for efficient handling of finite automata : monograph /

Hlavní autor Holík, Lukáš Vydáno 2010

Dostupnost : Načítá se...

Digitalizovaný dokument

5.

Knihy

Verification of asynchronous and parametrized hardware designs : monograph /

Hlavní autor Smrčka, Aleš, 1980- Vydáno 2010

Dostupnost : Načítá se...

Digitalizovaný dokument

6.

Knihy

Analysis and testing of concurrent programs : monograph /

Hlavní autor Křena, Bohuslav, 1977- Vydáno 2012

Dostupnost : Načítá se...

7.

Knihy

Relational verification of programs with integer data : monograph /

Hlavní autor Radu, Iosif Vydáno 2012

Dostupnost : Načítá se...

8.

Knihy

Infinity'08 : 10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 20...

Vydáno 2008

Dostupnost : Načítá se...