Buy books written by Jonathan P Bowen Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Jonathan P Bowen

Jonathan P Bowen

47 results found
List viewGrid view
Sort By:
1.
Provably Correct Systems
Provably Correct Systems
By: Ernst-Rüdiger Olderog, Mike Hinchey, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED506
Binding:
Hardback
Release:
10 Mar 2017
Language:
English
Available
Ships within 12-14 Days Explain..
2.
ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and B
By: Didier Bert, Steve King, Jonathan P. Bowen, Marina Waldén
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED506
Binding:
Paperback
Release:
20 May 2003
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED174
Binding:
Paperback
Release:
06 Apr 2017
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Cláudio Gomes, Jonathan P. Bowen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED253
Binding:
Paperback
Release:
05 Apr 2025
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
By: Qin Li, Qiwen Xu, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED348
Binding:
Paperback
Release:
10 Aug 2023
Language:
English
International Edition
Ships within 14-16 Days Explain..
6.
The Victoria History of Herefordshire: Colwall
The Victoria History of Herefordshire: Colwall
By: Alex Craven, Jonathan Comber, James P. Bowen
Publisher: University of London
No Review Yet
AED105
Binding:
Paperback
Release:
17 Jul 2020
Language:
English
International Edition
Ships within 18-20 Days Explain..
7.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED179
Binding:
Paperback
Release:
01 Aug 2020
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Museums and Digital Culture
Museums and Digital Culture
By: Jonathan P. Bowen, Tula Giannini
Publisher: Springer International Publishing AG
No Review Yet
AED860
Binding:
Hardback
Release:
16 May 2019
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED199
Binding:
Paperback
Release:
14 Apr 2019
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
By: Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer London Ltd
No Review Yet
AED405
Binding:
Paperback
Release:
17 Sep 1999
Language:
English
Available
Ships within 2-4 Days Explain..
11.
High-Integrity System Specification and Design
High-Integrity System Specification and Design
By: Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
12 Apr 1999
Language:
English
Available
Ships within 12-14 Days Explain..
12.
ZUM '95: The Z Formal Specification Notation
ZUM '95: The Z Formal Specification Notation
By: Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED512
Binding:
Paperback
Release:
23 Aug 1995
Language:
English
International Edition
Ships within 16-18 Days Explain..
13.
Unifying Theories of Programming
Unifying Theories of Programming
By: Huibiao Zhu, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
11 Jan 2017
Language:
English
Available
Ships within 12-14 Days Explain..
14.
ZUM'97: The Z Formal Specification Notation
ZUM'97: The Z Formal Specification Notation
By: David Till, Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED269
Binding:
Paperback
Release:
20 Mar 1997
Language:
English
International Edition
Ships within 16-18 Days Explain..
15.
ZUM '98: The Z Formal Specification Notation
ZUM '98: The Z Formal Specification Notation
By: Andreas Fett, Jonathan P. Bowen, Michael G. Hinchey
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
16 Sep 1998
Language:
English
Available
Ships within 12-14 Days Explain..
16.
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
By: Paul Boca, Jawed Siddiqi, Jonathan P. Bowen
Publisher: Springer London Ltd
No Review Yet
AED506
Binding:
Paperback
Release:
20 Oct 2014
Language:
English
Available
Ships within 12-14 Days Explain..
17.
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
By: Paul Boca, Jawed Siddiqi, Jonathan P. Bowen
Publisher: Springer London Ltd
No Review Yet
AED506
Binding:
Hardback
Release:
22 Dec 2009
Language:
English
Available
Ships within 12-14 Days Explain..
18.
Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
By: Suzanne Keene, Kia Ng, Jonathan P. Bowen
Publisher: Springer London Ltd
No Review Yet
AED493
Binding:
Hardback
Release:
18 Sep 2013
Language:
English
Available
Ships within 12-14 Days Explain..
19.
Electronic Visualisation in Arts and Culture
Electronic Visualisation in Arts and Culture
By: Suzanne Keene, Kia Ng, Jonathan P. Bowen
Publisher: Springer London Ltd
No Review Yet
AED493
Binding:
Paperback
Release:
23 Aug 2016
Language:
English
Available
Ships within 12-14 Days Explain..
20.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED179
Binding:
Paperback
Release:
13 Nov 2018
Language:
English
Available
Ships within 12-14 Days Explain..
loadingLoading more results