Applications of formal methods

Dettagli Bibliografici
Altri autori:	Hinchey, Michael G. 1969-, Bowen, J. P. 1956-
Natura:	Libro
Pubblicazione:	London Prentice Hall 1995.
Serie:	Prentice-Hall international series in computer science
Soggetti:	System design. Computer software > Development.