Alan Turing : Vater der Informatik und der Künstlichen Intelligenz (1912 - 1954)

von Bowen, Jonathan P.
Veröffentlicht in Faszination Forschung / Andrew Robinson. Aus dem Engl. von Dominik Fehrmann (2013)

Formal specification and documentation using Z : a case study approach

von Bowen, Jonathan P.
Veröffentlicht 1996

Web access to cultural heritage for the disabled

von Bowen, Jonathan P.
Veröffentlicht in Digital applications for cultural and heritage institutions / ed. by James Hemsley, Vito Cappellini and Gerd Stanke (2005)

High integrity system specification and design

Veröffentlicht 1999

Towards verified systems

Veröffentlicht 1994

Towards verified systems

Veröffentlicht 1994

Getting started with Talend Open Studio for Data Integration : develop system integrations with speed and quality using Talend Open Studio for Data Integration

von Bowen, Jonathan P.
Veröffentlicht 2012

Museums and digital culture : new perspectives and research

Veröffentlicht 2019

Communicating the public understanding of science : the Royal Society website

von Bowen, Jonathan P.
Veröffentlicht in International journal of technology management (2009)

˜Theœ Arts and Computational Culture: Real and Virtual Worlds

Veröffentlicht 2024

<<The>> Z formal specification notation : proceedings

Veröffentlicht 1997

ZUM '97: The Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 ; proceedings

Veröffentlicht 1997

ZUM '95: the Z formal specification notation : proceedings

Veröffentlicht 1995

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

Veröffentlicht 2000

High integrity system specification and design

Veröffentlicht 1999

<<The>> Z formal specification notation : proceedings

Veröffentlicht 1998

Formal specification and development in Z and B : proceedings

Veröffentlicht 2000

Formal Methods Communities of Practice: A Survey of Personal Experience

von Bowen, Jonathan P.
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2022)

ZUM '98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998 ; proceedings

Veröffentlicht 1998

<<The>> Z-formal specification notation : proceedings

Veröffentlicht 1995