Foundations of Real-Time Computing: Formal Specifications and Methods

Shelfclass_id 3.E
Sortkey VAN TILBORG, ANDRE M
Authors Andre M. Van Tilborg, Gary M. Koob
Title Foundations of Real-Time Computing: Formal Specifications and Methods
Publisher Kluwer Academic Publishers
Year 1991
Languages eng
Isbn 0792391675
Series The Kluwer international series in engineering and computer science
Volume 142
Description ix, 316 p. ill. 25 cm.
Record date 20070504
Location Boston
Keywords Real-time data processing
Notes "Preliminary versions of these papers were presented at a workshop ... sponsored by the Office of Naval Research in October 1990 in Washington, D.C."--Foreword.