Formal specification and software development

Manylion Llyfryddiaeth
Prif Awdur: Bjørner, Dines 1937-
Awduron Eraill: Jones, Cliff B. 1944
Fformat: Llyfr
Cyhoeddwyd: Englewood Cliffs, N.J. Prentice, Hall International 1982
Cyfres:Prentice-Hall International series in computer science
Pynciau: