Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan.
Material type:
TextSeries: Undergraduate topics in computer sciencePublisher: Cham, Switzerland : Springer, 2017Description: 1 online resource (xix, 312 pages) : illustrations (some color)Content type: - text
- computer
- online resource
- 9783319640211
- 3319640216
- 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
- 004.0151 ORE 2017 23
- QA76.9.F67
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|
Electronic Book
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | 004.0151 ORE 2017 (Browse shelf(Opens below)) | e-book | e00081 |
BA of Information Technology (Networking and Security) (Hons) |
Browsing FIRST CITY UNIVERSITY COLLEGE shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.0151 LIP 1982 Schaum's outline of theory and problems of essential computer mathematics / | 004.0151 LIP 1982 Schaum's outline of theory and problems of essential computer mathematics / | 004.0151 LIP 2022 Schaum's Outline of Discrete Mathematics, Fourth Edition / | 004.0151 ORE 2017 Concise guide to formal methods : | 004.0151 WIL Mathematics for computer students / | 004.0151 WIL Mathematics for computer students / | 004.0151 WIL Mathematics for computer students / |
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.