Jonathan P. Bowen - Böcker

Visar alla böcker från författaren Jonathan P. Bowen.
26 produkter
Jonathan P. Bowen, Suzanne Keene, Kia Ng - Electronic Visualisation in Arts and Culture, Inbunden

Electronic Visualisation in Arts and Culture

Av Jonathan P. Bowen, Suzanne Keene, Kia Ng

Inbunden, Engelska, 2013

2 159 kr

Skickas inom 7-10 vardagar
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi - Formal Methods: State of the Art and New Directions, Häftad

Formal Methods: State of the Art and New Directions

Av Paul Boca, Jonathan P. Bowen, Jawed Siddiqi

Häftad, Engelska, 2014

1 449 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Suzanne Keene, Kia Ng - Electronic Visualisation in Arts and Culture, Häftad

Electronic Visualisation in Arts and Culture

Av Jonathan P. Bowen, Suzanne Keene, Kia Ng

Häftad, Engelska, 2016

2 159 kr

Skickas inom 7-10 vardagar
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi, Jonathan P Bowen - Formal Methods: State of the Art and New Directions, Inbunden

Formal Methods: State of the Art and New Directions

Av Paul Boca, Jonathan P. Bowen, Jawed Siddiqi, Jonathan P Bowen

Inbunden, Engelska, 2009

1 449 kr

Skickas inom 7-10 vardagar
Michael G. Hinchey, Jonathan P. Bowen - Industrial-Strength Formal Methods in Practice, Häftad

Industrial-Strength Formal Methods in Practice

Av Michael G. Hinchey, Jonathan P. Bowen

Häftad, Engelska, 1999

2 159 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2019

849 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2020

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Qin Li, Qiwen Xu - Theories of Programming and Formal Methods, Häftad
Del 14080 - Lecture Notes in Computer Science

Theories of Programming and Formal Methods

Av Jonathan P. Bowen, Qin Li, Qiwen Xu

Häftad, Engelska, 2023

1 019 kr

Skickas inom 7-10 vardagar
Tula Giannini, Jonathan P. Bowen - Arts and Computational Culture: Real and Virtual Worlds, Inbunden

Arts and Computational Culture: Real and Virtual Worlds

Av Tula Giannini, Jonathan P. Bowen

Inbunden, Engelska, 2024

3 649 kr

Skickas inom 5-8 vardagar
Tula Giannini, Jonathan P. Bowen - Arts and Computational Culture: Real and Virtual Worlds, Häftad

Arts and Computational Culture: Real and Virtual Worlds

Av Tula Giannini, Jonathan P. Bowen

Häftad, Engelska, 2025

3 149 kr

Skickas inom 7-10 vardagar
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Inbunden

Provably Correct Systems

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

Inbunden, Engelska, 2017

1 449 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming, Häftad

Unifying Theories of Programming

Av Jonathan P. Bowen, Huibiao Zhu

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Häftad

Provably Correct Systems

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

Häftad, Engelska, 2018

1 449 kr

Skickas inom 7-10 vardagar
Tula Giannini, Jonathan P. Bowen - Museums and Digital Culture, Inbunden

Museums and Digital Culture

Av Tula Giannini, Jonathan P. Bowen

Inbunden, Engelska, 2019

2 439 kr

Skickas inom 7-10 vardagar
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén - ZB 2003: Formal Specification and Development in Z and B, Häftad
Del 2651 - Lecture Notes in Computer Science

ZB 2003: Formal Specification and Development in Z and B

Av Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

Häftad, Engelska, 2003

1 449 kr

Skickas inom 7-10 vardagar
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson - ZB 2002: Formal Specification and Development in Z and B, Häftad
Del 2272 - Lecture Notes in Computer Science

ZB 2002: Formal Specification and Development in Z and B

Av Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

Häftad, Engelska, 2002

709 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Michael G. Hinchey - ZUM '95: The Z Formal Specification Notation, Häftad
Del 967 - Lecture Notes in Computer Science

ZUM '95: The Z Formal Specification Notation

Av Jonathan P. Bowen, Michael G. Hinchey

Häftad, Engelska, 1995

1 399 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Michael G. Hinchey, David Till - ZUM'97: The Z Formal Specification Notation, Häftad
Del 1212 - Lecture Notes in Computer Science

ZUM'97: The Z Formal Specification Notation

Av Jonathan P. Bowen, Michael G. Hinchey, David Till

Häftad, Engelska, 1997

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey - ZUM '98: The Z Formal Specification Notation, Häftad
Del 1493 - Lecture Notes in Computer Science

ZUM '98: The Z Formal Specification Notation

Av Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

Häftad, Engelska, 1998

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King - ZB 2000: Formal Specification and Development in Z and B, Häftad
Del 1878 - Lecture Notes in Computer Science

ZB 2000: Formal Specification and Development in Z and B

Av Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King

Häftad, Engelska, 2000

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Michael G. Hinchey - High-Integrity System Specification and Design, Häftad

High-Integrity System Specification and Design

Av Jonathan P. Bowen, Michael G. Hinchey

Häftad, Engelska, 1999

729 kr

Skickas inom 7-10 vardagar
Robert M. Hierons, Jonathan P. Bowen, Mark Harman - Formal Methods and Testing, Häftad

Formal Methods and Testing

Av Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Häftad, Engelska, 2008

729 kr

Skickas inom 7-10 vardagar
Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca, Egon Borger - Abstract State Machines, B and Z, Häftad

Abstract State Machines, B and Z

Av Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca, Egon Borger

Häftad, Engelska, 2008

729 kr

Skickas inom 7-10 vardagar
Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu, Claudio Gomes - Engineering Trustworthy Software Systems, Häftad
Del 15584 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu, Claudio Gomes

Häftad, Engelska, 2025

839 kr

Skickas inom 7-10 vardagar