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.
Systems engineering.
Symbolic and Algebraic Manipulation.
Engineering mathematics.
Computer science- Mathematics
Theory of Computation.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Probabilities.
Computation by Abstract Devices.
Management of Computing and Information Systems.