語系
Gibbons, Jeremy.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
Oliveira, Jose Nuno.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Gibbons, Jeremy.
(書目-電子資源)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Gibbons, Jeremy.
(書目-電子資源)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
Nogueira, Pablo.; Congress on Progress and Controversies in Oncological Urology (2000:); Gibbons, Jeremy.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Computer programs- Mathematics
Data Structures.
Discrete Mathematics in Computer Science.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer programming- Mathematics
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Generic programming (Computer science)