English 
Čeština 
Infinity'08 : 10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008 /
| Další autoři: | Infinity '08, Habermehl, Peter, Vojnar, Tomáš, 1973-, International Conference on Concurrency Theory |
|---|---|
| Jazyk: | Angličtina |
| Vydáno: |
Brno : Faculty of Information Technology, Brno University of Technology, 2008 |
| Edice: |
FIT BUT Technical Report Series ;
FIT-TR-2008-006 |
| Témata: | |
| Fyzický popis: |
68 s. ; 28 cm |
|
Knihy
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í.
| status | půjčeno do | dílčí knihovna | sbírka / doba vyhledání | umístění | popis | pozn. | Skladová signatura |
|---|---|---|---|---|---|---|---|
|
Jen do studovny
|
|
Sklad / do 1 hodiny
|
3-1211.100 | ||||
|
Měsíc
|
|
Sklad / do 1 hodiny
|
3-1211.100 |