Normal view MARC view ISBD view

O'Regan, Gerard

Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan. - 1 online resource (xix, 312 pages) : illustrations (some color). - Undergraduate topics in computer science, 1863-7310 . - Undergraduate topics in computer science, .

Academic

Includes bibliographical references and index.

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.

ISBN: 9783319640211 3319640216

Nat. Bib. No.: GBB8J5146 bnb

Subjects--Topical Terms:
Computer science.
Formal methods (Computer science)
Formal methods (Computer science)
Computers--Software Development & Engineering--General.
Computers--Hardware--General.
Mathematics--Applied.
Software Engineering.
Systems analysis & design.
Mathematical modelling.
Software engineering.
Operating systems (Computers)
Mathematics--Logic.
Mathematical theory of computation.

Index Terms--Genre/Form:
Electronic books.

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151 ORE 2017