عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47 I47 1996
QA
76
.
76
.
D47
I47
1996
کتابخانه
محل استقرار
استان: South Khorasan ـ شهر: Birjand
OTHER STANDARD IDENTIFIER
Standard Number
42479
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The Imperative future :principles of executable temporal logic
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Taunton, Somerset, England : Wiley
Name of Publisher, Distributor, etc.
Research Studies Press ; New York :
Date of Publication, Distribution, etc.
c1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 239 p. : ill. ; 24 cm.
SERIES
Series Title
Advanced software development series ;4
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 227-235( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Howard Barringer ... ]et al.[
TOPICAL NAME USED AS SUBJECT
Entry Element
Development ، Computer software
Entry Element
، Programming languages )Electronic computers(
Entry Element
، Logic, Symbolic and mathematical
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13/3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47
I47
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU drawoH ,regnirraB 1951-
SE
