語系
Derrick, John.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Derrick, John.; SpringerLink (Online service)
(書目-電子資源)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Derrick, John.
(書目-電子資源)
主題
Software Engineering.
Machine learning
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Software engineering
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Programming Techniques.
Computer Science.