Reset Filters
Author: Bowen,J. P.

Author Results for Bowen, Jonathan P,

SpringerLink (Online service)
Bowen,J. P.
(Jonathan Peter),
(Michael Gerard),
Hinchey,Michael G.
see all »
Elsevier Science & Technology
(Jawed I.),
(Jonathan Peter), 1956-
Boca,Paul
ESSoS (Symposium),Paris, France)

2
Industrial-strength formal methods in practice

Cover is for reference only
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Bowen J. P.; (Jonathan Peter), 1956-
Published: Springer,
Publication Dates: c1999.
Call Number: TP311.5/I426
Book
Save to List
Saved in:
5
Applications of formal methods

Cover is for reference only
Group Author: Hinchey Michael G.; (Michael Gerard), 1969-; Bowen J. P.; (Jonathan Peter), 1956-
Published: Prentice Hall,
Publication Dates: 1995.
Call Number: TP301.2/A652/
Book
Save to List
Saved in:
6
Z User Workshop, London, 1992 proceedings of the ..., London, 14-15 Dec. 1992

Cover is for reference only
Corporate Authors: Z User Workshop (7th 1992 London)
Group Author: Bowen J. P.; (Jonathan Peter), 1956-; Nicholls John E.
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP312Z-532/Z11/1992/
Book
Save to List
Saved in:
7
High-integrity system specification and design

Cover is for reference only
Group Author: Bowen J. P.; (Jonathan Peter), 1956-; Hinchey Michael G.; (Michael Gerard), 1969-
Published: Springer,
Publication Dates: c1999.
Call Number: TP302-53/H638/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —