عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.398
QA
76
.
L28
Vol
.
398
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1987: Altrincham, England
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1989
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 448p.: ill
SERIES
Other Title Information
Lecture notes in computer science; 893
GENERAL NOTES
Text of Note
Based on papers presented at the Colloquium on Temporal Logic in Specification
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540518037
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
B. Banieqbal, H. Barringer, A. Pnueli )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
2
TOPICAL NAME USED AS SUBJECT
Entry Element
، System design
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
398
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Banieqbal, Behnam, 1960-
AU Barringer, Howard, 1951-
AU Pnueli, A.
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
Colloquium on Temporal Logic in Specification
