Refine your search
Availability
-
Authors
- Bjorner, Dines (1)
- Jones, Cliff B (1)
- Jones, Cliff B. (5)
- Lloyd, John L (1)
-
Item types
-
Locations
-
Series
-
Topics
- Computer science an... (1)
- Computer science and... (1)
- Computer Science and... (1)
- Computer science-Con... (1)
- Computer software-De... (1)
- Data protection (1)
- Electronic digital c... (2)
- Formal methods(Compu... (1)
- Micro programming (1)
- Operating systems (C... (1)
- Programming Language... (1)
- Software engineering (1)
- Show more
- Show less