TY  - BOOK
AU  - O'Regan,Gerard
TI  - Concise guide to formal methods: theory, fundamentals and industry applications 
T2  - Undergraduate topics in computer science,
SN  - 9783319640211
AV  - QA76.9.F67 
U1  - 004.0151 ORE 2017 23
PY  - 2017///
CY  - Cham, Switzerland
PB  - Springer
KW  - Computer science
KW  - Formal methods (Computer science)
KW  - fast
KW  - Computers
KW  - Software Development & Engineering
KW  - General
KW  - bisacsh
KW  - Hardware
KW  - Mathematics
KW  - Applied
KW  - Software Engineering
KW  - bicssc
KW  - Systems analysis & design
KW  - Mathematical modelling
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Logic
KW  - Mathematical theory of computation
KW  - Electronic books
N1  - 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
UR  - https://firstcityuniversity.sharepoint.com/:b:/s/FirstCityUC-eBooksCollections11/EWgT0xxn8dhEsAhNkbZ6Nq8BqLVulPQc8dsYHr_ctdrkWA?e=i0Ul4K
ER  -