Refine your search
Availability
-
Authors
- Bjørner, Dines [x]
- Henson, Martin C.
-
Holding libraries
-
Item types
- Libro Electrónico [x]
-
Locations
- Colección Digital [x]
-
Series
-
Topics
- Computer science
- Computer Science
- Information theory
- Logic design
- Logics and Meanings ... [x]
- Mathematical Logic a...
- Programming Language...
- Programming Techniqu...
- Software Engineering [x]
- Software engineering
- Theory of Computatio...
- Show more
- Show less