Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
The Imperative future :principles of executable temporal logic
پدید آورنده
edited by Howard Barringer ... ]et al.[
موضوع
Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده
QA
76
.
76
.
D47
I47
1996
کتابخانه
Central Library and Information Center of Birjand University
محل استقرار
استان:
South Khorasan
ـ شهر:
Birjand
تماس با کتابخانه :
056
-
32202143
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
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal