Formal methods for discrete-time dynamical systems
Series: Studies in systems, decision and control, 89 | Studies in systems, decision and control, 89Publication details: Springer-Verlag 2017 New yorkDescription: xviii, 284p. col.&ill. 23cmISBN:- 9783319507620
- 620.104 BEL
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 620.104 BEL (Browse shelf(Opens below)) | Available | 198333 | |
![]() |
JRD Tata Memorial Library | 620.104 BEL (Browse shelf(Opens below)) | Available | 198332 |
There are no comments on this title.