41. Simple program schemes and formal languages
Author: Engelfriet, Joost
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
E53
42. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
43. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
76
.
7
.
S9
1971
44. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
45. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188
46. Using formal description techniques
Author: / edited by Kenneth J. Turner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers - Programming,Formal languages
Classification :
QA
76
.
6
.
U848
1993
47. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
Author: edited by Kenneth J. Turner
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Formal languages
Classification :
QA
76
.
6
.
U848
1993
