Författare: Canada) Liu Jun (University of Waterloo

Stöd

2 E-böcker av 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 …
PDF
Engelska
DRM
€63.25
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 …
EPUB
Engelska
DRM
€62.78