Search results
- Verifikácia konkurentných programov napísaných v jazyku JAVA
Šajtlava Igor ; E Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2012 . - 99 s
Applied Infromatics model checking verifikácia
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71828
diplomová prácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1