Refine your search
Availability
-
Authors
- Grumberg, Orna (3)
- Nipkow, Tobias (3)
- Pfaller, Christian (3)
-
Holding libraries
-
Home libraries
-
Item types
- E-Book (1)
-
Locations
- Online Resource (1)
-
Series
-
Topics
- Computer logic (3)
- Computer security (3)
Strathmore