English 
Čeština 
Harnessing forest automata for verification of heap manipulating programs : monograph /
| Main Author: | Šimáček, Jiří, 1983- |
|---|---|
| Other Authors: | Vojnar, Tomáš, 1973- |
| Language: | English |
| Published: |
Brno : Faculty of Information Technology, Brno University of Technology, 2012 |
| Edition: | Vyd. 1. |
| Subjects: | |
| Physical Description: |
ix, 139 s. : il. (některé barev.) ; 25 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-1299.902 | |||
|
Month
|
On Shelf |
|
Stock / within 1 hour
|
3-1299.902 |