عنوان
پدید آورنده
موضوع
رده
QA76.6 B996 1992
QA76
.
6
B996
1992
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1461209315
(Number (ISBN
9781461209317
NATIONAL BIBLIOGRAPHY NUMBER
Number
b544103
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The Temporal Logic of Reactive and Concurrent Systems :
General Material Designation
[Book]
Other Title Information
Specification
First Statement of Responsibility
by Zohar Manna, Amir Pnueli.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York, NY
Name of Publisher, Distributor, etc.
Springer New York
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(xiv, 427 pages)
CONTENTS NOTE
Text of Note
I: Models of Concurrency --;1: Basic Models --;2: Modeling Real Concurrency --;II: Specifications --;3: Temporal Logic --;4: Properties of Programs --;References --;Index to Symbols --;General Index.
SUMMARY OR ABSTRACT
Text of Note
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.
TOPICAL NAME USED AS SUBJECT
Computer Communication Networks.
Computer science.
Software engineering.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
B996
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Zohar Manna, Amir Pnueli.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Amir Pnueli
Zohar Manna
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
