1. Denotational semantics :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik

Classification :
QA76
.
7
.
S34
1986

2. Programming languages :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers),Programmiersprache,Programming languages (Electronic computers)

Classification :
QA76
.
7
.
D465
1990

3. Programming languages and systems :

Author:

Library: Library of Faculty of World Studies University of Tehran (Tehran)

Subject: Programming languages (Electronic computers),Formale Spezifikationstechnik,Java ,NebenlaufigkeitBisimulationKongressBangalore <2008>,Programmiersprache,Programmverifikation,Congresses.,Kongress,Kongress,Kongress,Kongress,Kongress,Bisimulation,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>

Classification :
QA76
.
7
.
A65
2008

4. Semantic techniques in quantum computation /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik

Classification :
QA76
.
889
.
S36
2010

5. Semantics and algebraic specification

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A