Llwytho...

Formal specification and software development

Manylion Llyfryddiaeth
Prif Awdur: Bjorner, Diner
Awduron Eraill: Jones, Cliff B.
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: New Jersy Prentice-hall international 1982
Cyfres:Printice-Hall International series in computer science
Pynciau:
Disgrifiad
Disgrifiad Corfforoll:x,501p.
ISBN:0133290034