Harnessing forest automata for verification of heap manipulating programs monograph
Jiří Šimáček, Tomáš Vojnar
?
obálka není k dispozici
| nakladatel | Faculty of Information Technology, Brno University of Technology |
|---|---|
| rok vydání | 2012 |
| vydání | Vyd. 1. |
| místo | Brno |
| rozměry | 25 cm |
| poznámka | il. (některé barev.) |
| ISBN | 978-80-214-4653-3 (brož.) |
Prodám tuto knihu
Tuto knihu nikdo nenabízí
Nabízení knih k prodeji je dostupné pouze registrovaným uživatelům s ověřeným číslem mobilního telefonu. Zaregistrovat
Sháním tuto knihu
Tuto knihu zatím nikdo neshání
Sháním tuto knihu
Jakmile knihu někdo nabídne, dáme vám vědět.
Komentáře
Tuto knihu zatím nikdo nekomentoval.
Pro přidávání komentářů se prosím přihlašte.
