Home Advanced Search

Advanced Search - Page 1

Software Specification Methods: An Overview Using a Case Study
  • PDF
  • English
  • Year: 2001
  • Author: Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Software Specification Methods : an Overview Using a Case Study
  • PDF
  • English
  • Year: 2006
  • Author: Henri Habrias; Marc Frappier
Software Specification Methods
  • PDF
  • English
  • Year: 2006
  • Author: Henri Habrias, Marc Frappier
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Industrial-Strength Formal Methods in Practice
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
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.)
Electronic Visualisation in Arts and Culture
  • PDF
  • English
  • Year: 2013
  • Author: James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)
Formal Methods: State of the Art and New Directions
  • PDF
  • English
  • Year: 2010
  • Author: Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)
VMware vSphere Resource Management Essentials
  • MOBI
  • English
  • Year: 2014
  • Author: Frappier, Jonathan
search