Chcete-li získat tento dokument, vstupte
přímo do katalogu.
If you want to get more information about the document, enter the
online catalog.
Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 001028512
Navigace: https://aleph.vkol.cz/pub / svk01 / 00102xxxx / 0010285xx / 001028512.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
| ISBN | 978-80-214-4653-3 (brož.) |
| Kód předm.kateg. | 004 Počítačová věda. Výpočetní technika. Informační technologie |
| MDT | 004 |
| MDT | 004.052.42 |
| MDT | (048.8) |
| HZ-Osobní jméno | Šimáček, Jiří, 1983- |
| Názvové údaje | Harnessing forest automata for verification of heap manipulating programs : monograph / Jiří Šimáček, Tomáš Vojnar |
| Údaje o vydání | Vyd. 1. |
| Nakladatel.údaje | Brno : Faculty of Information Technology, Brno University of Technology, 2012 |
| Údaje fyz.popisu | ix, 139 s. : il. (některé barev.) ; 25 cm |
| Všeobecná pozn. | Na obálkovém a hřbetním názvu nesprávně použito místo slova verification verication |
| Pozn.o bibliogr. | Obsahuje bibliografii a bibliografické odkazy |
| Předm.-Věc.téma | počítačová věda |
| Předm.-Věc.téma | formální verifikace |
| Předm.-angl. | computer science |
| Předm.-angl. | formal verification |
| Předm.-volně tvoř. | stromové automaty |
| Žánr/forma | monografie |
| Žánr/forma | monographs |
| VZ-Osobní jm. | Vojnar, Tomáš, 1973- |
| ISBN-pom.údaje | 1. vyd. 20130319 |
| Sigla,sign.vlastn. | OLA001 2-020.780 |
| Nakladatel-aut.f. | Vysoké učení technické v Brně, Fakulta informačních technologií |
| Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.