Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Softcover
Book 64 of 116: Undergraduate Topics in Computer Science
Synopsis
Software Engineering
Software Reliability and Dependability
Overview of Formal Methods
Sets, Relations and Functions
A Short History of Logic
Propositional and Predicate Logic
Advanced Topics in Logic
Z Formal Specification Language
Vienna Development Method
Irish School of VDM
Unified Modelling Language
Dijkstra, Hoare and Parnas
Automata Theory
Model Checking
The Nature of Theorem Proving
Probability and StatisticsIndustrial Tools for Formal Methods
Technology Transfer to Industry
Epilogue
"synopsis" may belong to another edition of this title.
