Jones, Cliff B., 1944-....
Jones, C. B. (Cliff B.), 1944-
Jones, Cliff B.
Jones, Clifford
Cliff Jones British computer scientist
Jones, Cliff Bryn (1944- ).
Jones, Clifford B.
VIAF ID: 80936003 ( Personal )
Permalink: http://viaf.org/viaf/80936003
Preferred Forms
- 100 0 _ ‡a Cliff Jones ‡c British computer scientist
- 200 _ | ‡a Jones ‡b Cliff B.
-
-
-
- 100 1 0 ‡a Jones, C. B. ‡q (Cliff B.), ‡d 1944-
-
- 100 1 _ ‡a Jones, Cliff B.
-
- 100 1 _ ‡a Jones, Cliff B. ‡d 1944-
- 100 1 _ ‡a Jones, Cliff B. ‡d 1944-
-
- 100 1 _ ‡a Jones, Cliff B., ‡d 1944-....
-
-
-
4xx's: Alternate Name Forms (32)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
atomic manifesto: a story in four quarks | |
Bringing LP to life | |
Building a better mousetrap: studies in the science of management papers in honour of Don Leech | |
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 | |
Dependability : proceedings | |
Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday | |
Essays in computing science | |
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings | |
Form. asp. comput. (Internet) | |
Formal aspects of computing : applicable formal methods | |
Formal methods and hybrid real time systems essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays | |
Formal specification and software dev., 1982: | |
Konstruowanie oprogramowania metodą systematyczną | |
Mural : a formal development support system | |
Object Orientation with Parallelism and Persistence | |
Proceedings of the 15th International Conference on Information Technology Interfaces, Pula, June 15. - 18. 1993. : ITI '93 | |
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 | |
Programming languages and their definition | |
Refine. Wkshp. (5th : 1992 : Lond., Eng.). 5th Refine. Wkshp., 1992: | |
Refinement workshop : proceedings | |
Reflections on the work of C.A.R. Hoare | |
Rigorous development of complex fault-tolerant systems | |
Software development, 1980:t.p. (Cliff B. Jones) data s. (Jones, Clifford B.) | |
Software development : a rigorous approach | |
Structure for dependability : computer-based systems from an interdisciplinary perspective | |
Systematic software development using VDM | |
Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings | |
VDM, une méthode rigoureuse pour le développement du logiciel | |
VDM'87 : VDM : a formal method at work : proceedings : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 ; ed | |
The Vienna development method : the Meta-language |