Verification of programs with complex data structures : dissertation thesis /

Hlavní autor: Rogalewicz, Adam, 1978-
Jazyk: Angličtina
Vydáno: Brno : Faculty of Information Technology, Brno University of Technology, 2007
Vydání: Vyd. 1.
Témata:
Fyzický popis: ix, 134 s. : il. ; 25 cm
Knihy
Uloženo v:

status  půjčeno do  dílčí knihovna  sbírka / doba vyhledání  umístění  popis  pozn.  Skladová signatura 
Digitalizuje se
01. 01. 2020
 
Sklad / do 1 hodiny
3-1200.247
Měsíc
 
 
Sklad / do 1 hodiny
3-1200.247