Applications of formal methods

Applications of formal methods

Manylion Llyfryddiaeth
Awduron Eraill: Hinchey, Michael G. (Michael Gerard) 1969-, Bowen, J. P. (Jonathan Peter) 1956-
Fformat: Llyfr
Cyhoeddwyd: London Prentice Hall 1995.
Cyfres:Prentice-Hall international series in computer science
Pynciau:
System design.
Computer software > Development.