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 /
| Other Authors: | Infinity '08, Habermehl, Peter, Vojnar, Tomáš, 1973-, International Conference on Concurrency Theory |
|---|---|
| Language: | English |
| Published: |
Brno : Faculty of Information Technology, Brno University of Technology, 2008 |
| Series: |
FIT BUT Technical Report Series ;
FIT-TR-2008-006 |
| Subjects: | |
| Physical Description: |
68 s. ; 28 cm |
|
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
|
3-1211.100 | |||
|
Month
|
On Shelf |
|
Stock / within 1 hour
|
3-1211.100 |