High-Integrity System Specification and Design

High-Integrity System Specification and Design
Jonathan P. Bowen

"J.P. Bowen & M.G. Hinchey (1995) Ten Commandments of Formal Methods. IEEE Computer, 28(4):56–63, April 1995. (See page 217 in this collection.) "J.P. Bowen & M.G. Hinchey (1995) Seven More Myths of Formal Methods. IEEE Software ...

Download

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB