عنوان
پدید آورنده
موضوع
رده
QA76.6 .L5855 1985
QA76
.
6
.
L5855
1985
کتابخانه
محل استقرار
استان: East Azarbaijan ـ شهر: Tabriz
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
78-14514
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
General Material Designation
[Book]
First Statement of Responsibility
/ Edited by Edmund Clarke, Dexter Kozen
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
: Springer, Verlag
Date of Publication, Distribution, etc.
, 1984.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
VI, 527 p.
Other Physical Details
: ill.
Dimensions
; 25 cm
SERIES
Series Title
(Lecture notes in computer science
Volume Designation
; 164)
GENERAL NOTES
Text of Note
Language: انگلیسی
Text of Note
Includes bibliographical reference.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Computer programs - Congresses
Logic, symbolic and mathematical - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
.
L5855
1985
PERSONAL NAME - SECONDARY RESPONSIBILITY
Clarke, Edmund
Kozen, Dexter
S
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
