語系
Butler, Michael.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
Butler, Michael.; Clark Conference ((2005 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
Butler, Michael.; Clark Conference ((2005 :); Conchon, Sylvain.; SpringerLink (Online service); Zaidi, Fatiha.
(書目-語言資料,印刷品)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Machine learning
Computer Science.
Computer Communication Networks.