Hoppa till sidans huvudinnehåll

Jonathan P. Bowen - Böcker

Visar alla böcker från författaren Jonathan P. Bowen.
26 produkter

Electronic Visualisation in Arts and Culture

AvJonathan P. Bowen,Suzanne Keene m. fl.

Inbunden, Engelska, 2013

2 069 kr

Skickas inom 10-15 vardagar

Formal Methods: State of the Art and New Directions

AvPaul Boca,Jonathan P. Bowen m. fl.

Häftad, Engelska, 2014

1 409 kr

Skickas inom 10-15 vardagar

Electronic Visualisation in Arts and Culture

AvJonathan P. Bowen,Suzanne Keene m. fl.

Häftad, Engelska, 2016

2 069 kr

Skickas inom 10-15 vardagar

Formal Methods: State of the Art and New Directions

AvPaul Boca,Jonathan P. Bowen m. fl.

Inbunden, Engelska, 2009

1 409 kr

Skickas inom 10-15 vardagar

Industrial-Strength Formal Methods in Practice

AvMichael G. Hinchey,Jonathan P. Bowen

Häftad, Engelska, 1999

2 059 kr

Skickas inom 10-15 vardagar

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Liu m. fl.

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Liu m. fl.

Häftad, Engelska, 2019

819 kr

Skickas inom 10-15 vardagar

Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Liu m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

AvJonathan P. Bowen,Qin Li m. fl.

Häftad, Engelska, 2023

989 kr

Skickas inom 10-15 vardagar

Arts and Computational Culture: Real and Virtual Worlds

AvTula Giannini,Jonathan P. Bowen

Inbunden, Engelska, 2024

3 509 kr

Skickas inom 10-15 vardagar

Arts and Computational Culture: Real and Virtual Worlds

AvTula Giannini,Jonathan P. Bowen

Häftad, Engelska, 2025

3 009 kr

Skickas inom 10-15 vardagar

Provably Correct Systems

AvMike Hinchey,Jonathan P. Bowen m. fl.

Inbunden, Engelska, 2017

1 409 kr

Skickas inom 10-15 vardagar

Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

AvJonathan P. Bowen,Huibiao Zhu

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Liu m. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Provably Correct Systems

AvMike Hinchey,Jonathan P. Bowen m. fl.

Häftad, Engelska, 2018

1 409 kr

Skickas inom 10-15 vardagar

Museums and Digital Culture

New Perspectives and Research

AvTula Giannini,Jonathan P. Bowen

Inbunden, Engelska, 2019

2 259 kr

Skickas inom 10-15 vardagar

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

AvDidier Bert,Jonathan P. Bowen m. fl.

Häftad, Engelska, 2003

1 409 kr

Skickas inom 10-15 vardagar

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

AvDidier Bert,Jonathan P. Bowen m. fl.

Häftad, Engelska, 2002

689 kr

Skickas inom 10-15 vardagar

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1995

1 369 kr

Skickas inom 10-15 vardagar

ZUM'97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

AvJonathan P. Bowen,Michael G. Hinchey m. fl.

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

AvJonathan P. Bowen,Andreas Fett m. fl.

Häftad, Engelska, 1998

709 kr

Skickas inom 10-15 vardagar

ZB 2000: Formal Specification and Development in Z and B

First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

AvJonathan P. Bowen,Steve Dunne m. fl.

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar

High-Integrity System Specification and Design

AvJonathan P. Bowen,Michael G. Hinchey

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

AvRobert M. Hierons,Jonathan P. Bowen m. fl.

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

AvEgon Börger,Michael Butler m. fl.

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar

Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

AvJonathan P. Bowen,Cláudio Gomes m. fl.

Häftad, Engelska, 2025

809 kr

Skickas inom 10-15 vardagar