Ratschan Stefan

Titul autora (1)

• Foundations of the automatic analysis of cyber-physical systems

  Formát: Tištěná kniha

  Ratschan Stefan, České vysoké učení technické v Praze. Fakulta informačních technologií

  České vysoké učení technické v Praze

  2015

  ISBN 978-80-01-05760-5 (brožováno)