Languages
Morgan, Carroll.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Morgan, Carroll.; SpringerLink (Online service); Leucker, Martin.
(Electronic resources)
Abstraction, Refinement and Proof for Probabilistic Systems
by:
Morgan, Carroll.; SpringerLink (Online service); McIver, Annabelle.
(Electronic resources)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
Simao, Adenilso.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Morgan, Carroll.
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Systems engineering.
Engineering mathematics.
Computer science- Mathematics
Theory of Computation.
Computer Science.
Programming Techniques.
Computer programming
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Probabilities.
Management of Computing and Information Systems.