عنوان
پدید آورنده
موضوع
رده
QA76.9.D5 R456 1993
QA76
.
9
.
D5
R456
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3528053585
(Number (ISBN
9783528053581
NATIONAL BIBLIOGRAPHY NUMBER
Number
b564014
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Open distributed systems :
General Material Designation
[Book]
Other Title Information
on concepts, methods, and design from a logical point of view
First Statement of Responsibility
Reinhard Gotzhein.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wiesbaden
Name of Publisher, Distributor, etc.
Vieweg
Date of Publication, Distribution, etc.
©1993.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 227 pages : illustrations ; 21 cm.
SERIES
Series Title
Vieweg advanced studies in computer science.
CONTENTS NOTE
Text of Note
Open distributed systems; formal methods; concepts; requirement specification; system architecture and system behaviour; correctness and conformance; temporal logic; interaction points; communication services; epistemic logic; application examples.
SUMMARY OR ABSTRACT
Text of Note
This book presents a new, abstract, and comprehensive view of open distributed systems. Starting point is a small number of core concepts and basic principles, which are informally introduced and precisely defined using mathematical logic. It is shown how the basic concepts of Open Systems Interconnection (OSI) and Open Distributed Processing (ODP), which are currently the most important standardization activities in the context of open distributed systems, can be obtained by specialization and extension of these basic concepts.
TOPICAL NAME USED AS SUBJECT
Electronic data processing -- Distributed processing.
OSI (Computer network standard)
OSI (Computer network standard).
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
D5
Book number
R456
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Reinhard Gotzhein.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Reinhard Gotzhein
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
