It looks like you're offline.

Last edited by LC Bot

October 20, 2011 | History

Edit

J. P. Bowen

We need a photo of J. P. Bowen

Born

1956

6 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Formal methods: state of the art and new directions

by Paul Boca, J. P. Bowen, and J. I. Siddiqi First published in 2009
4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Formal methods and testing: an outcome of the FORTEST network : revised selected papers

by Robert M. Hierons, J. P. Bowen, and Mark Harman First published in 2008
2 editions

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

Applications of formal methods

by Michael G. Hinchey and J. P. Bowen First published in 1995
1 edition, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Towards verified systems

by J. P. Bowen First published in 1994
1 edition

Locate

My Reading Lists:

Create a new list
High-integrity system specification and design

by J. P. Bowen and Michael G. Hinchey First published in 1999
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey and J. P. Bowen First published in 1999
1 edition, 1 ebook

Preview Only

My Reading Lists:

Create a new list

We need a photo of J. P. Bowen

Born

1956

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL6982636A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON