Refine Your Search
Book List
1
-
Formal specification and verification of digital systems / George Milne.
- 621.392
- Milne, George J., 1952-
- McGraw-Hill,
- c1994.
- London : New York :