عنوان
پدید آورنده
موضوع
رده
QA76.9 .S8F67 1990
QA76
.
9
.
S8F67
1990
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
IR
78-14674
انگلیسی
IR
Formal methods in Standards: a report form the BCS working group
[Book]
/ C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
London
: Springer Verlag
, 1990.
135 p. ; 24 cm
Language: انگلیسی
Print
Includes bibliographical references and index.
Electronic data processing - Standards - Great Britain
QA76
.
9
.
S8F67
1990
Ruggles C. L. N. (Clive L. N.)
Andrew, Derek
British Computer Society Formal methods in Standards Working Group
ایران
old catalog
p
BL
1
a
Y
