Concise guide to formal methods : theory, fundamentals and industry applications /: theory, fundamentals and industry applications. (2017)

• Record Type: Book
• Further Information: Note: Gerard O'Regan.
• Authors: O'Regan, Gerard (Cornelius Gerard)
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xix, 312 pages), illustrations (some color)
• Subjects: 004.01/51; 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; Electronic books
• Languages: English
• ISBNs: 9783319640211; 3319640216
• Related ISBNs: 9783319640204; 3319640208
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed August 21, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.