1. Formal methods in Standards: a report form the BCS working group
المؤلف: / C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Electronic data processing - Standards - Great Britain
رده :
QA76
.
9
.
S8F67
1990
2. Formal methods in standards : a report from the BCS Working Group
المؤلف: C.L.N. Ruggles, )ed.( ; principal contributors, Derek Andrews ... )et. al.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic data processing - Standards - Great Britain
رده :
QA
.
S8F67
76
.
9
1990
