عنوان
پدید آورنده
موضوع
رده
QA .S8F67 76.9 1990
QA
.
S8F67
76
.
9
1990
کتابخانه
محل استقرار
Formal methods in standards : a report from the BCS Working Group
C.L.N. Ruggles, )ed.( ; principal contributors, Derek Andrews ... )et. al.(
London, New York
Springer-Verlag
1990
135 p. : ill. ; 25 cm
Includes bibliographical references )p. )79(-92( and index
Electronic data processing - Standards - Great Britain
QA
76
.
9
.
S8F67
1990
Ruggles, Clive L. N.
Andrews, Derek.
British Computer Society, Formal Methods in Standards Working Group
English Book
