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