Jonathan P Bowen

48 results found

Sort By:

Provably Correct Systems

By: Ernst-Rüdiger Olderog, Mike Hinchey, Jonathan P. Bowen

Publisher: Springer International Publishing AG

No Review Yet

AED339

Binding:	Hardback
Release:	10 Mar 2017
Language:	English

Available

Ships within 14-16 Days Explain..

Provably Correct Systems

By: Ernst-Rüdiger Olderog, Mike Hinchey, Jonathan P. Bowen

Publisher: Springer International Publishing AG

No Review Yet

AED339

Binding:	Paperback
Release:	03 May 2018
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED339

Binding:	Paperback
Release:	20 May 2003
Language:	English

Available

Ships within 14-16 Days Explain..

Engineering Trustworthy Software Systems

By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen

Publisher: Springer International Publishing AG

No Review Yet

AED182

Binding:	Paperback
Release:	06 Apr 2017
Language:	English

Available

Ships within 14-16 Days Explain..

Engineering Trustworthy Software Systems

By: Andrea Turrini, Jonathan P. Bowen

Publisher: Springer Verlag, Singapore

No Review Yet

AED274

Binding:	Paperback
Release:	07 May 2026
Language:	English

International Edition

Ships within 10-12 Days Explain..

The Arts and Computational Culture: Real and Virtual Worlds

By: Jonathan P. Bowen, Tula Giannini

Publisher: Springer International Publishing AG

No Review Yet

AED732

Binding:	Paperback
Release:	28 Jun 2025
Language:	English

Available

Ships within 14-16 Days Explain..

Engineering Trustworthy Software Systems

By: Zhiming Liu, Cláudio Gomes, Jonathan P. Bowen

Publisher: Springer Nature Switzerland AG

No Review Yet

AED182

Binding:	Paperback
Release:	05 Apr 2025
Language:	English

Available

Ships within 14-16 Days Explain..

The Arts and Computational Culture: Real and Virtual Worlds

By: Jonathan P. Bowen, Tula Giannini

Publisher: Springer International Publishing AG

No Review Yet

AED732

Binding:	Hardback
Release:	28 Jun 2024
Language:	English

Available

Ships within 14-16 Days Explain..

Theories of Programming and Formal Methods

By: Qin Li, Jonathan P. Bowen, Qiwen Xu

Publisher: Springer International Publishing AG

No Review Yet

AED250

Binding:	Paperback
Release:	10 Aug 2023
Language:	English

Available

Ships within 14-16 Days Explain..

10.

The Victoria History of Herefordshire: Colwall

By: Alex Craven, Jonathan Comber, James P. Bowen

Publisher: University of London

No Review Yet

AED118

Binding:	Paperback
Release:	17 Jul 2020
Language:	English

International Edition

Ships within 14-16 Days Explain..

11.

Engineering Trustworthy Software Systems

By: Zhiming Liu, Zili Zhang, Jonathan P. Bowen

Publisher: Springer Nature Switzerland AG

No Review Yet

AED182

Binding:	Paperback
Release:	01 Aug 2020
Language:	English

Available

Ships within 14-16 Days Explain..

12.

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

AED505

Binding:	Paperback
Release:	23 Aug 1995
Language:	English

International Edition

Ships within 10-12 Days Explain..

13.

Industrial-Strength Formal Methods in Practice

By: Jonathan P. Bowen, Michael G. Hinchey

Publisher: Springer London Ltd

No Review Yet

AED389

Binding:	Paperback
Release:	17 Sep 1999
Language:	English

Available

Ships within 10-12 Days Explain..

14.

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

AED196

Binding:	Paperback
Release:	12 Apr 1999
Language:	English

Available

Ships within 14-16 Days Explain..

15.

Museums and Digital Culture

By: Jonathan P. Bowen, Tula Giannini

Publisher: Springer International Publishing AG

No Review Yet

AED554

Binding:	Hardback
Release:	16 May 2019
Language:	English

Available

Ships within 14-16 Days Explain..

16.

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

AED276

Binding:	Paperback
Release:	20 Mar 1997
Language:	English

International Edition

Ships within 10-12 Days Explain..

17.

Unifying Theories of Programming

By: Huibiao Zhu, Jonathan P. Bowen

Publisher: Springer International Publishing AG

No Review Yet

AED182

Binding:	Paperback
Release:	11 Jan 2017
Language:	English

Available

Ships within 14-16 Days Explain..

18.

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

AED190

Binding:	Paperback
Release:	16 Sep 1998
Language:	English

Available

Ships within 14-16 Days Explain..

19.

Formal Methods: State of the Art and New Directions

By: Paul Boca, Jawed Siddiqi, Jonathan P. Bowen

Publisher: Springer London Ltd

No Review Yet

AED331

Binding:	Paperback
Release:	20 Oct 2014
Language:	English

Available

Ships within 14-16 Days Explain..

20.

Electronic Visualisation in Arts and Culture

By: Suzanne Keene, Kia Ng, Jonathan P. Bowen

Publisher: Springer London Ltd

No Review Yet

AED488

Binding:	Hardback
Release:	18 Sep 2013
Language:	English

Available

Ships within 14-16 Days Explain..

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter