Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

J. P. Bowen | lit.salon

Author

J. P. Bowen

Born 1956

6 works

1994–2009 across 6 dated works

No biography is available yet.

Start with

Towards verified systems1994
Applications of formal methods1995
With Michael G. Hinchey
High-integrity system specification and design1999
With Michael G. Hinchey
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))1999
With Michael G. Hinchey

Books

6 works

Featured (6)Featured (6)All (6)All (6)

Search booksSort books

Formal methods state of the art and new directions2009
With Paul Boca, J. I. Siddiqi
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Formal methods and testing: an outcome of the FORTEST network : revised selected papers2008
With Robert M. Hierons, Mark Harman
2 editions
shelves
0
reviews
0
lists
0
quotes
0
High-integrity system specification and design1999
With Michael G. Hinchey
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Applications of formal methods1995
With Michael G. Hinchey
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))1999
With Michael G. Hinchey
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Towards verified systems1994
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around J. P. Bowen.

The conversation is still open.

There is no public salon activity to show for J. P. Bowen yet.