Author: Canada) Liu Jun (University of Waterloo

Support

2 Ebooks by Canada) Liu Jun (University of Waterloo

Yinan Li & Jun Liu: Formal Methods for Control of Nonlinear Systems
Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinea …
PDF
English
DRM
€64.49
Yinan Li & Jun Liu: Formal Methods for Control of Nonlinear Systems
Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinea …
EPUB
English
DRM
€64.25