Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
- Bjørner, Dines [x]
- Henson, Martin C. (1)
-
Topics
- Computer Science [x]
- Logic design (4)
- Logics and Meanings of Programs [x]
- Software Engineering (4)
- Software engineering (4)
- Programming Languages, Compilers, Interpreters (3)
- Programming Techniques (3)
- Information theory (1)
- Mathematical Logic and Formal Languages (1)
- Theory of Computation (1)
- Show more
- Show less