Industrial applications of formal methods to model, design, and analyze computer systems

Bibliographic Details
Main Authors:	Craigen, Dan 1953- (Author), Gerhart, Susan L. (Author), Ralston, Theodore L. (Author)
Format:	Electronic Resource
Language:	English
Published:	Park Ridge, N.J. Noyes Data Corp. [1995]
Subjects:	System design. System analysis. Electronic books.
Online Access:	Available for University of the Philippines System via ScienceDirect. Click here to access Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy