Software Development : A Rigorous Approach /

Autor Jones, C. B. 1944-
Vydáno 1980

Systematic Software Development Using VDM /

Autor Jones, C. B. 1944-
Vydáno 1986

Formal Specification and Software Development /

Autor Bjørner, Dines, 1937-, Jones, C. B. 1944-
Vydáno 1982

Theoretical aspects of computing - ICTAC 2007 : 4th International Colloquium : Macao, China, September 26-28, 2007 : proceedings /

Vydáno 2007

Formal methods and hybrid real-time systems : essays in honour od Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /

Vydáno 2007

Communicating sequential processes : the first 25 years : Symposium on the occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers /

Vydáno 2005