Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /

Show other versions (3)

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: Introduces the key concepts in software engineering, software reliability a...

Full description

Saved in:
Bibliographic Details
Main Author: O'Regan, Gerard (Author, http://id.loc.gov/vocabulary/relators/aut)
Format: Electronic Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017
Edition:1st ed. 2017
Series:Undergraduate Topics in Computer Science,
Subjects:
Computer science > Mathematics
Computers
Machine theory
Software engineering
Formal Languages and Automata Theory
Hardware Performance and Reliability
Mathematical Applications in Computer Science
Software Engineering
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items