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
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Bowen, Jonathan P (Editor); Zhu, Huibiao. (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
7
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:
8
Towards verified systems /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Bowen, J. P. (Jonathan Peter), 1956- (Editor)
Published: Elsevier,
Publication Dates: 1994.
eBook
Save to List
Saved in:
9
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:
10
Provably Correct Systems /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Hinchey, Mike (Editor); Bowen, Jonathan P (Editor); Olderog, Ernst-R diger (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
11
Museums and digital culture : new perspectives and research /

Cover is for reference only
Group Author: Giannini, Tula (Editor); Bowen, J. P. (Jonathan Peter), 1956- (Editor)
Published: Springer,
Publication Dates: [2019]
Call Number: G26-05/M986-6
Book
Save to List
Saved in:
12
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:
13
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:
16
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:
20
Applications of kinetic modelling /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Compton, R. G. (Editor); Hancock, G. (Gus) (Editor)
Published: Elsevier,
Publication Dates: 1999.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —