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)
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Computation by Abstract Devices.