Tichakorn Wongpiromsarn szerző bemutatása:

Tichakorn Wongpiromsarn szerző eddig megjelent könyvei:

Formális módszerek autonóm rendszerekhez - Formal Methods for Autonomous Systems

A formális módszerek a rendszerfejlesztés szigorú, matematikai...