Tomáš Vojnar *1973

Knihy

Coping with complexity and undecidability in automated verification of computer-based systems Coping with complexity and undecidability in automated verification of computer-based systemsthesis of a lecture within...

Poslední navštívené (vypsat vše)