語系
Jones, Cliff B.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reflections on the work of C.A.R. Hoare
by:
Jones, Cliff B.; SpringerLink (Online service); Roscoe, A.W.; Wood, Kenneth R.
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.