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
Towards verified systems /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology
Group Author: Bowen, J. P. Jonathan Peter, 1956
Published: Elsevier,
Publication Dates: 1994.
eBook
Save to List
Saved in:
2
Museums and digital culture : new perspectives and research /

Cover is for reference only
Group Author: Giannini, Tula; Bowen, J. P. Jonathan Peter, 1956
Published: Springer,
Publication Dates: [2019]
Call Number: G26-05/M986-6
Book
Save to List
Saved in:
5
EVA London 2013 : electronic visualisation and the arts : a conference of the Computer Arts Society, a specialist group of BCS, the Chartered Institute for IT : proceedings, London, UK, 29-31 July 2013 /

Cover is for reference only
Corporate Authors: EVA London Conference London, England; British Computer Society
Group Author: Ng, Kia; Bowen, J. P. Jonathan Peter, 1956; McDaid, Sarah
Published: Published by BCS Learning & Development Ltd., a wholly owned subsidiary of BCS, The Chartered Institute for IT,
Publication Dates: [2013]
Call Number: TN911.73-532/E387/2013
Book
Save to List
Saved in:
7
The Turing guide /

Cover is for reference only
Main Authors: Copeland, B. Jack, 1950
Group Author: Bowen, J. P. Jonathan Peter, 1956; Sprevak, Mark, 1977; Wilson, Robin J
Published: Oxford University Press,
Publication Dates: 2017.
Call Number: K835.616.11/T938C-1
Book
Save to List
Saved in:
8
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:
9
Provably correct systems /

Cover is for reference only
Group Author: Hinchey, Michael G. Michael Gerard, 1969; Bowen, J. P. Jonathan Peter, 1956; Olderog, E.-R
Published: Springer,
Publication Dates: [2017]
Call Number: TP311.55/P969
Book
Save to List
Saved in:
10
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:
11
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:
12
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:
Search Tools: Get RSS Feed — Email this Search —