Refine your search
Availability
-
Authors
- Gelfond, Michael (1)
- Kahl, Yulia (1)
- Miles, Russ (1)
- Pandey, Adesh Kumar (1)
- Pilone, Dan (1)
- Samek, Miro (1)
- Show more
- Show less
-
Item types
- Book - Borrowing (4)
-
Locations
- Lower Floor (4)
-
Topics
- Compilers (Computer programs) (1)
- Computer software (3) [x]
- Formal methods (Computer science) (1)
- Intelligent agents (Computer software) (1)
- Statecharts (Computer science) (1)
- System design (1)
- UML (Computer science) (1)
- Show more
- Show less