Languages
Gibbons, Jeremy.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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.
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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)