Author

J. P. Bowen

born 1956 6 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

6 books
Applications of formal methods

Applications of formal methods

Year unknown Michael G. Hinchey and J. P. Bowen
Formal methods

Formal methods

Year unknown Paul Boca, J. P. Bowen, and J. I. Siddiqi
Formal methods and testing

Formal methods and testing

Year unknown J. P. Bowen, Mark Harman, and Robert M. Hierons
High-integrity system specification and design

High-integrity system specification and design

Year unknown J. P. Bowen and Michael G. Hinchey
Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Year unknown Michael G. Hinchey and J. P. Bowen
Towards verified systems

Towards verified systems

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.