Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Formal techniques in real-time and fault-tolerant systems : Proceedings of a Symposium, Warwick, UK. September 22-23, 1988
پدید آورنده
M. Joseph, ed
موضوع
Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده
QA
76
.
L28
Vol
.
331
کتابخانه
Library of Institute for Research in Fundamental Sciences
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
22291812
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal techniques in real-time and fault-tolerant systems : Proceedings of a Symposium, Warwick, UK. September 22-23, 1988
EDITION STATEMENT
Statement of Responsibility Relating to Edition
1988: Warwick, UK
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1988
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 229p.: ill
SERIES
Other Title Information
Lecture notes in computer science; 133
GENERAL NOTES
Text of Note
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540503021
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
M. Joseph, ed
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Real-time data processing
Entry Element
Congresses ، Fault-tolerant computing
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
331
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Joseph, Mathai
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal