Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Reactive Systems
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Formal methods is a term used to describe the specification and verification of software systems and software using mathematical logic. There are many books that look at particular methodologies for such systems, for example, this book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. This book emerged from a variety of courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
Computer eBook Details
- ISBN-10: 0521875463
- ISBN-13: 9780521875462
- Publisher: Cambridge University Press
- Pages: 300
- Date: August 2007