An edition of Industrial-Strength Formal Methods in Practice
(1999)
Industrial-Strength Formal Methods in Practice
by Michael G. Hinchey
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Industrial-Strength Formal Methods in Practice
1999, Springer London, Imprint, Springer
electronic resource /
in English
1447105230 9781447105237
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
It's Greek to Me : Method in the Madness?- The French Population Census for 1990
The Formal Verification of a Payment System
Specification of a Chemical Process Controller in B
Formal Analysis of the Motorola CAP DSP
Bridging the e-Business Gap Through Formal Verification
Retrospective Formal Verification of Reactor Protection System Software
Scheduling and Rescheduling of Trains
Lessons from the Formal Development of a Radiation Therapy Machine Control Process
Using Formal Methods to Develop an ATC Information System
Rigorous Review Techniques
Analyzing Z Specifications with Z/EVES
How to Construct Formal Arguments that Persuade Certifiers
Formal Methods Through Domain Engineering
Cleanroom Software Engineering; Theory and Practice
References
Index.
Edition Notes
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
| July 1, 2019 | Created by MARC Bot | import new book |