1. Logic and Program Semantics
Author: edited by Robert L. Constable, Alexandra Silva
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
2. Logics of Programs :
Author: edited by Dexter Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
3. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
L595
1984
4. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Author: edited by Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
131
5. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Author: Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
6
.
L594
1981
6. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
164
7. Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
164
8. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
Author: / Edited by Edmund Clarke, Dexter Kozen
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
Classification :
QA76
.
6
.
L5855
1985
9. Rohit Parikh on Logic, Language and Society
Author: edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
Classification :
EBOOK
,
BC
R6
140
