Formal Verification of Control System Software (Princeton Series in Applied Mathematics, 58)
$61.00
from $49.64
Formal Methods for Control of Nonlinear Systems
from $120.55
More results from Amazon »