Languages
Owe, Olaf.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.