Predstavenie autora Tichakorn Wongpiromsarn:

Doterajšie vydané knihy od Tichakorn Wongpiromsarn:

Formálne metódy pre autonómne systémy - Formal Methods for Autonomous Systems

Formálne metódy sa vzťahujú na prísne matematické prístupy k vývoju...