1. A theory and practice of program development /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer programming,Computer software-- Development

رده :
QA76
.
76
.
D47
A427
1997

2. Formal methods in Standards: a report form the BCS working group

پدیدآورنده :

کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

موضوع : Electronic data processing - Standards - Great Britain

رده :
QA76
.
9
.
S8F67
1990

3. Formal methods in standards : a report from the BCS Working Group

پدیدآورنده :

کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

موضوع : Electronic data processing - Standards - Great Britain

رده :
QA
.
S8F67
76
.
9
1990

4. Practical formal methods with VDM

پدیدآورنده :

کتابخانه: Library of Niroo Research Institue (Tehran)

موضوع : ، Computer software- Development

5. <strong>Book Review:</strong> Stolleis, Michael. Origins of the German Welfare State: Social Policy in Germany to 1945. New York: Springer, 2013.

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)