語系
Owe, Olaf.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
From object-orientation to formal methods = essays in memory of Ole-Johan Dahl /
by:
SpringerLink (Online service); Krogdahl, Stein.; Dahl, Ole-Johan, (1931-); Owe, Olaf.; Lyche, Tom.
(書目-語言資料,印刷品)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
Owe, Olaf.; Telle, Jan Arne.; Workshop on the Preservation of Stability under Discretization ((2001 :); Steffen, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
System design.
Formal methods (Computer science)
Object-oriented methods (Computer science)
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Computation by Abstract Devices.