Languages
Gibbons, Jeremy.
Overview
| Works: | 3 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(1998 :); Gibbons, Jeremy.; Oliveira, Jose Nuno.; SpringerLink (Online service)
(Electronic resources)
Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(1998 :); Gibbons, Jeremy.; SpringerLink (Online service); Stevens, Perdita.
(Electronic resources)
Mathematics of program construction11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(1998 :); Gibbons, Jeremy.; Nogueira, Pablo.; SpringerLink (Online service)
(Electronic resources)
Generic and indexed programmingInternational Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(1998 :); Gibbons, Jeremy.; SpringerLink (Online service)
(Electronic resources)
Foundations of health information engineering and systemsthird International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers /
by:
(1998 :); Gibbons, Jeremy.; MacCaull, Wendy.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Computer Science, general.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Medical informatics
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Data Structures.
Information Systems Applications (incl. Internet)
Database Management.
Management of Computing and Information Systems.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Health Informatics.
Computer programs
Generic programming (Computer science)
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Simulation and Modeling.
Transformations (Mathematics)