عنوان
پدید آورنده
موضوع
رده
QA 76.6 .K753
QA
76
.
6
.
K753
کتابخانه
محل استقرار
CE Y1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
KROGER,FRED
Title Proper
Temporal logic of programs
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
1987
TOPICAL NAME USED AS SUBJECT
Entry Element
ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Entry Element
LOGIC,SYMBOLIC & MATHEMATICAL
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
K753
