Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications - Softcover

O'Regan, Gerard

Softcover

ISBN 10: 3319640224 ISBN 13: 9783319640228

Publisher: Springer, 2017

This specific ISBN edition is currently not available.

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 Statistics

Industrial Tools for Formal Methods

Technology Transfer to Industry

Epilogue

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books: Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

ISBN 10: 3319640208 ISBN 13: 9783319640204
Publisher: Springer, 2017
Softcover