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

Detalhes bibliográficos
Main Authors:	Craigen, Dan 1953- (Author), Gerhart, Susan L. (Author), Ralston, Theodore L. (Author)
Formato:	Electronic Resource
Idioma:	English
Publicado em:	Park Ridge, N.J. Noyes Data Corp. [1995]
Assuntos:	System design. System analysis. Electronic books.
Acesso em linha:	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