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:

UL

Manylion daliadau o UL
Rhif Galw: 004.414.38 BJO
Copi Nid yw'r Statws Byw ar Gael