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