RecordNumber

14869

Title

Formal methods in standards; a report from the BCS working group

Author Statement

C.L. N. Ruggles (ed)

Publication

Springer

Publication Year

[c1990]

Collation

135p.: ill

Bibliography

Bibliography:P. 78- 92

Subject

Electronic data processing- standards- Great Britain

ADDED ENTRIES

Ruggles, Clive L. N ed

Main Class

004

Sub Class

.0218

Cutter no

F723

وارد كنندة اطلاعات

Rezvany 0604^d//