| Document Type
|
:
|
BL
|
| Record Number
|
:
|
722013
|
| Doc. No
|
:
|
b541722
|
| Main Entry
|
:
|
David Gray.
|
| Title & Author
|
:
|
Introduction to the formal design of real-time systems\ David Gray.
|
| Publication Statement
|
:
|
London ; New York: Springer, ©1999.
|
| Series Statement
|
:
|
Applied computing.
|
| Page. NO
|
:
|
xiii, 461 pages : illustrations ; 24 cm
|
| ISBN
|
:
|
3540761403
|
|
|
:
|
: 9783540761402
|
| Contents
|
:
|
1. Scene Set --;2. Concurrency and Communication --;3. Message Passing --;4. Synchronous Calculus of Communicating Systems --;5. Equivalence --;6. Automating SCCS --;7. Proving Things Correct --;8. End End Note --;App. 1. Some of the More Useful SCCS Propositions --;App. 2. Notation Used Throughout the Book.
|
| Abstract
|
:
|
but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.
|
| Subject
|
:
|
Real-time data processing.
|
| Subject
|
:
|
System design.
|
| Subject
|
:
|
Temps réel.
|
| LC Classification
|
:
|
QA76.54D385 1999
|
| Added Entry
|
:
|
David Gray
|