Showing 1 - 2 results of 2 for search 'Gerhart, Susan L.', query time: 0.01s
Refine Results
-
1
Industrial applications of formal methods to model, design, and analyze computer systems by Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.
Published 1995Call Number: loading...Available for University of the Philippines System via ScienceDirect. Click here to access
Located: loading...
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy
Electronic Resource -
2
Industrial applications of formal methods to model, design and analyze computer systems an international survey by Craigen, Dan 1953-
Published 1995Call Number: loading...Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access
Located: loading...
Book