言語
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 /
…で:
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 /
…で:
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.