Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems PDF book is popular Computers book written by Osman Hasan. The book was released by Springer Nature on 2020-04-25 with total hardcover pages 145. Fast download link is given in this page, you could read Formal Techniques for Safety-Critical Systems by Osman Hasan in PDF, epub and kindle directly from your devices.
Formal Techniques for Safety-Critical Systems
-
Formal Techniques for Safety-Critical Systems Book Detail
- Author : Osman Hasan
- Release Date : 2020-04-25
- Publisher : Springer Nature
- Genre : Computers
- Pages : 145
- ISBN 13 : 3030469026
- File Size : 93,93 MB