Applications of formal methods

Bibliographische Detailangaben
Weitere Verfasser:	Hinchey, Michael G. (Michael Gerard) 1969-, Bowen, J. P. (Jonathan Peter) 1956-
Format:	Buch
Veröffentlicht:	London Prentice Hall 1995.
Schriftenreihe:	Prentice-Hall international series in computer science
Schlagworte:	System design. Computer software > Development.