Reset Filters
Author: (Michael Gerard),

Author Results for Bowen, J. P. Jonathan Peter, 1956

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

1
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:
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:
3
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 —