000 00649nam a22002177a 4500
003 OSt
005 20240924064721.0
008 240924b |||||||| |||| 00| 0 eng d
020 _a9780367219994
040 _cx
050 _a QA 402.35 .L526 2023
100 _aLi, Yinan
245 _aFormal methods for control of nonlinear systems
260 _aBoca Raton :
_bC&H/CRC Press,
_c2023.
300 _axviii, 253p.
500 _a Includes bibliographical references and index.
650 _aEngineering mathematics.
650 _aNonlinear control theory.
650 _aNonlinear systems.
942 _2lcc
_cBK
_k QA 402.35 .L526 2023
_n1
999 _c1174
_d1174