It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
July 1, 2019 | History
Edit

Jonathan P. Bowen

We need a photo of Jonathan P. Bowen

17 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Electronic Visualisation in Arts and Culture

    First published in 2013 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Provably Correct Systems

    First published in 2017 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: ZUM '98 : the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

    First published in 2011 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: EVA London 2018: Electronic Visualisation and the Arts

    First published in 2018 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: EVA London 2020: Electronic Visualisation and the Arts

    First published in 2020 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

    First published in 2008 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science)

    First published in 1997 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    First published in 2017 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: High-Integrity System Specification and Design

    First published in 1999 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Museums and Digital Culture: New Perspectives and Research

    First published in 2019 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

    First published in 2023 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Zum '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 : Proceedings (Lecture Notes in Computer Science)

    First published in 1995 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)

    First published in 1998 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: 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 (Lecture Notes in Computer Science)

    First published in 2003 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jonathan P. Bowen

Subjects

Congresses, Z (computer program language), Computer science, Data processing, Software engineering, Z (Computer program language), Z <Programmiersprache>, Algebra, Art and technology, Arts, Arts, data processing, B (Computer program language), Combinatorial analysis, Computer Appl. in Arts and Humanities, Computer Imaging, Vision, Pattern Recognition and Graphics, Computer programming, Computer vision, Computers, congresses, Congrès, Cultural property, Culture, Formale Spezifikationstechnik, Humanities, Image processing, Information systems

Places

London, New York, Paris, Reading <1997>

Time

1950-2019

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7562510A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 1, 2019 Created by MARC Bot import new book