Refine your search
Availability
-
bib-level
- m (3)
-
Authors
- Hack, Sebastian (1)
- Müller-Olm, Markus (1)
- Seidl, Helmut (3)
- Wilhelm, Reinhard (1)
-
Topics
- Computation by Abstract Devices (1)
- Computer Science (3)
- Logic design (2)
- Logics and Meanings of Programs (2)
- Mathematical Logic and Formal Languages (2)
- Programming Languages, Compilers, Interpreters (3)
- Programming Techniques (1)
- Software Engineering (2)
- Software engineering (2)
- Show more
- Show less