Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Safarik, Tomáš"'
Autor:
Šafařík, Tomáš
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transf
Externí odkaz:
http://www.nusl.cz/ntk/nusl-347971
Autor:
Šafařík, Tomáš
This diploma thesis is focused on description, breakdown and objective analysis of available development indicators of the Information and Communication Technology market in the Czech Republic. In certain ways it relates to some prior theses prepared
Externí odkaz:
http://www.nusl.cz/ntk/nusl-12429