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