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

Detalles Bibliográficos
Main Authors:	Craigen, Dan 1953- (Author), Gerhart, Susan L. (Author), Ralston, Theodore L. (Author)
Formato:	Electronic Resource
Idioma:	inglés
Publicado:	Park Ridge, N.J. Noyes Data Corp. [1995]
Subjects:	System design. System analysis. Electronic books.
Acceso en liña:	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