Refine Your Search
Book List
1
-
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey / Dan Craigen, Susan Gerhart, Ted Ralston.
- 004.21 C8868
- Craigen, Dan, 1953-
- Noyes Data Corp.,
- c1995.
- Park Ridge, N.J. :