عنوان
پدید آورنده
موضوع
رده
QA76.6 .L5855 1985
QA76
.
6
.
L5855
1985
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
IR
78-14514
انگلیسی
IR
Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
[Book]
/ Edited by Edmund Clarke, Dexter Kozen
Berlin
: Springer, Verlag
, 1984.
VI, 527 p.
: ill.
; 25 cm
(Lecture notes in computer science
; 164)
Language: انگلیسی
Includes bibliographical reference.
Print
Computer programs - Congresses
Logic, symbolic and mathematical - Congresses
QA76
.
6
.
L5855
1985
Clarke, Edmund
Kozen, Dexter
S
ایران
old catalog
p
BL
1
a
Y
