Jones, Cliff B.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Dependable and historic computingessays dedicated to Brian Randell on the occasion of his 75th birthday /
by:
Jones, Cliff B.; Lloyd, John L.; SpringerLink (Online service)
(Electronic resources)
Understanding programming languages
by:
Jones, Cliff B.; SpringerLink (Online service)
(Electronic resources)
Reflections on the work of C.A.R. Hoare
by:
Jones, Cliff B.; Roscoe, A.W.; SpringerLink (Online service); Wood, Kenneth R.
(Electronic resources)
Communicating Sequential Processes. The First 25 YearsSymposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
by:
(1998 :); Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W.; SpringerLink (Online service)
(Electronic resources)
FME '97, industrial applications and strengthened foundations of formal methods4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings /
by:
(1998 :); Fitzgerald, John.; Jones, Cliff B.; Lucas, Peter.; SpringerLink (Online service)
(Electronic resources)
Subjects
CSP (Computer program language)
Software Engineering.
History of Computing.
Theory of Computation.
Logics and Meanings of Programs.
Electronic data processing.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Operating Systems.
Control Structures and Microprogramming.
Professional Computing.
Computer programming
Programming Languages, Compilers, Interpreters.
System design
Programming languages (Electronic computers)
Parallel programming (Computer science)
Sequential processing (Computer science)
Computer science
Computer Science.
Computer science.
Computers
Systems and Data Security.
Computer programming.