Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 001029624
Navigace: https://aleph.vkol.cz/pub / svk01 / 00102xxxx / 0010296xx / 001029624.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-4654-0 (brož.) |
Kód předm.kateg. | 004 Počítačová věda. Výpočetní technika. Informační technologie |
MDT | 004.42 |
MDT | 004.052.42 |
MDT | 510.5 |
MDT | (048.8:082) |
HZ-Osobní jméno | Radu, Iosif |
Názvové údaje | Relational verification of programs with integer data : monograph / Radu Iosif, Filip Konečný, Tomáš Vojnar |
Údaje o vydání | Vyd. 1. |
Nakladatel.údaje | Brno : Faculty of Information Technology, Brno University of Technology, 2012 |
Údaje fyz.popisu | 166 s. : il. ; 25 cm |
Pozn.o bibliogr. | Obsahuje bibliografii a bibliografické odkazy |
Předm.-Věc.téma | počítačové programy |
Předm.-Věc.téma | formální verifikace |
Předm.-Věc.téma | algoritmy |
Předm.-angl. | computer programs |
Předm.-angl. | formal verification |
Předm.-angl. | algorithms |
Žánr/forma | kolektivní monografie |
Žánr/forma | collective monographs |
VZ-Osobní jm. | Konečný, Filip, 1984- |
VZ-Osobní jm. | Vojnar, Tomáš, 1973- |
ISBN-pom.údaje | 1. vyd. 20130402 |
Sigla,sign.vlastn. | OLA001 1-262.087 |
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.