Tomáš Vojnar - Trh knih - online antikvariát

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...