Morgan, Carroll.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
Abstraction, Refinement and Proof for Probabilistic Systems /
by:
McIver, Annabelle.; Morgan, Carroll.
(書目-電子資源)
主題
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.