J. P. Bowen
J. P. Bowen
6 featured booksJ. P. Bowen
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL6982636A
Overview
Catalog identity and bibliographic footprint for this author.
6 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formal methods
cover - Image source: Open LibraryFM
Formal methods and testing
cover - Image source: Open LibraryIF
Industrial-strength formal methods in practice
cover - Image source: Open LibraryHS
High-integrity system specification and design
cover - Image source: Open LibraryAO
Applications of formal methods
cover - TVTowards verified systemsJ. P. Bowen
Towards verified systems
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.