Languages
Jones, Cliff B.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reflections on the work of C.A.R. Hoare
by:
Jones, Cliff B.; SpringerLink (Online service); Wood, Kenneth R.; Roscoe, A.W.
(Language materials, printed)
Understanding programming languages
by:
Jones, Cliff B.; SpringerLink (Online service)
(Electronic resources)
FME '97, industrial applications and strengthened foundations of formal methods = 4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings/
by:
Fitzgerald, John.; Jones, Cliff B.; Lucas, Peter.; SpringerLink (Online service); International Symposium of Formal Methods Europe (1997 :)
(Language materials, printed)
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 /
by:
Abdallah, Ali E.; Jones, Cliff B.; Sanders, Jeff W.; SpringerLink (Online service); Symposium on the Occasion of 25 years of CSP ((2004 :)
(Language materials, printed)
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.
Professional Computing.
Computer programming
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Sequential processing (Computer science)
Computer Science.
Computer science.
Parallel programming (Computer science)- Congresses.
System design- Methodology
Computer programming.