|
|
Modern Formal Methods and Applications
PREFACE; ABOUT THE EDITOR; ABOUT THE AUTHORS; LIST OF FIGURES; LIST OF TABLES; - 1 FUNDAMENTALS OF FORMAL METHODS; 1.1 Overview; 1.2 Logic; 1.3 Argument & Proofs ; 1.4 Automata Theory; 1.5 Algorithms;... |
 |
|
|
| Download PDF |
| Modern Formal Methods and Applications |
|
