Concise guide to formal methods
theory, fundamentals and industry applications ; Undergraduate topics in computer science
Person: O'Regan, Gerard
serial: Undergraduate topics in computer science
Year: 2017
Language: English
Scope: 322 p.
Available
- Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Concise Guide to Software Engineering, Guide to Discrete Mathematics, Introduction to the History of Computing, Pillars of Computing, Introduction to Software Quality, Giants of Computing, and Mathematics in Computing.
Title Information
Title: Concise guide to formal methods
serial: Undergraduate topics in computer science
Person: O'Regan, Gerard
Publisher : Springer International Publishing
ISBN: 9783319640211
Category: Non-Fiction & Guidebooks, Science & Technology, Computer Sciences
File size: 5 MB
Format: PDF
Loan period: 21 days