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

48 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
AED487
Binding:
Hardback
Release:
10 Mar 2017
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Provably Correct Systems
Provably Correct Systems
By: Ernst-Rüdiger Olderog, Mike Hinchey, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED487
Binding:
Paperback
Release:
03 May 2018
Language:
English
Available
Ships within 14-16 Days Explain..
3.
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
AED487
Binding:
Paperback
Release:
20 May 2003
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED244
Binding:
Paperback
Release:
06 Apr 2017
Language:
English
Available
Ships within 14-16 Days Explain..
5.
The Arts and Computational Culture: Real and Virtual Worlds
The Arts and Computational Culture: Real and Virtual Worlds
By: Jonathan P. Bowen, Tula Giannini
Publisher: Springer International Publishing AG
No Review Yet
AED1,120
Binding:
Paperback
Release:
28 Jun 2025
Language:
English
Available
Ships within 14-16 Days Explain..
6.
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
AED244
Binding:
Paperback
Release:
05 Apr 2025
Language:
English
Available
Ships within 14-16 Days Explain..
7.
The Arts and Computational Culture: Real and Virtual Worlds
The Arts and Computational Culture: Real and Virtual Worlds
By: Jonathan P. Bowen, Tula Giannini
Publisher: Springer International Publishing AG
No Review Yet
AED1,120
Binding:
Hardback
Release:
28 Jun 2024
Language:
English
Available
Ships within 14-16 Days Explain..
8.
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
AED341
Binding:
Paperback
Release:
10 Aug 2023
Language:
English
Available
Ships within 14-16 Days Explain..
9.
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
AED109
Binding:
Paperback
Release:
17 Jul 2020
Language:
English
International Edition
Ships within 10-12 Days Explain..
10.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED244
Binding:
Paperback
Release:
01 Aug 2020
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Publisher: Springer Nature Switzerland AG
No Review Yet
AED283
Binding:
Paperback
Release:
14 Apr 2019
Language:
English
Available
Ships within 14-16 Days Explain..
12.
Museums and Digital Culture
Museums and Digital Culture
By: Jonathan P. Bowen, Tula Giannini
Publisher: Springer International Publishing AG
No Review Yet
AED828
Binding:
Hardback
Release:
16 May 2019
Language:
English
Available
Ships within 14-16 Days Explain..
13.
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
AED492
Binding:
Paperback
Release:
23 Aug 1995
Language:
English
International Edition
Ships within 10-12 Days Explain..
14.
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
AED244
Binding:
Paperback
Release:
12 Apr 1999
Language:
English
Available
Ships within 14-16 Days Explain..
15.
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
AED394
Binding:
Paperback
Release:
17 Sep 1999
Language:
English
Available
Ships within 10-12 Days Explain..
16.
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
AED262
Binding:
Paperback
Release:
20 Mar 1997
Language:
English
International Edition
Ships within 10-12 Days Explain..
17.
Unifying Theories of Programming
Unifying Theories of Programming
By: Huibiao Zhu, Jonathan P. Bowen
Publisher: Springer International Publishing AG
No Review Yet
AED244
Binding:
Paperback
Release:
11 Jan 2017
Language:
English
Available
Ships within 14-16 Days Explain..
18.
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
AED244
Binding:
Paperback
Release:
16 Sep 1998
Language:
English
Available
Ships within 14-16 Days Explain..
19.
Abstract State Machines, B and Z
Abstract State Machines, B and Z
By: Paul Boca, Michael Butler, Jonathan P. Bowen, Egon Börger
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED244
Binding:
Paperback
Release:
08 Sep 2008
Language:
English
Available
Ships within 14-16 Days Explain..
20.
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
AED731
Binding:
Hardback
Release:
18 Sep 2013
Language:
English
Available
Ships within 14-16 Days Explain..
loadingLoading more results
Hello, User