Refine your search
Availability
-
Authors
- Prasad, Mukul. (1)
- Roesner, W. (1)
- Wile, Bruce. (1)
- Yoeli, Michael, (1)
- Zilic, Zeljko. (1)
- Show more
-
Collections
-
Holding libraries
-
Item types
- Main Collection (2)
-
Series
-
Topics
- Computer engineering... (1)
- Computer software (1)
- Error analysis (Math... (1)
- Formal methods (Comp... (1)
- Integrated circuits (5)
- LOTOS (Computer prog... (1)
- Petri nets. (1)
- Systems on a chip (1)