Formal Verification of Control System Software

  • Length: 232 pages
  • Publication Date: 2019-05-14

Introductory Algebra, 4th Edition

  • Length: 832 pages
  • Publication Date: 2011-01-18

Dynamical Systems with Applications using MATLAB, 2nd Edition

  • Length: 514 pages
  • Publication Date: 2014-07-23

Discrete Fractional Calculus

  • Length: 556 pages
  • Publication Date: 2016-02-09