Home Advanced Search

Advanced Search - Page 1

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Formal Specification and Documentation Using Z: A Case Study Approach
  • PDF
  • English
  • Year: 1996
  • Author: Jonathan Bowen
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
  • PDF
  • English
  • Year: 2018
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
  • PDF
  • English
  • Year: 2019
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
  • PDF
  • English
  • Year: 2018
  • Author: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
  • PDF
  • English
  • Year: 2020
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)
Champions. Starter. Student`s Book & Workbook
  • PDF
  • English
  • Author: Bowen P.
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Software Specification Methods: An Overview Using a Case Study
  • PDF
  • English
  • Year: 2001
  • Author: Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
search