Refine your search
Availability
-
Authors
- Esparza, Javier (1)
- Grumberg, Orna (3)
- Hauptmann, Benedikt (1)
- Nipkow, Tobias (2)
- Pfaller, Christian (1)
- Spanfelner, Bernd (1)
- Show more
- Show less
-
Holding libraries
-
Home libraries
-
Item types
- E-Book (3)
-
Locations
- Online Resource (3)
-
Series
-
Topics
- Computer logic (1)
- Computer security (3)
- Computer software (1)
- Computers (1)
- Languages, Artificia... (1)
- Programming language... (1)
- Show more
- Show less
Strathmore