Research Catalog

Foundations of real-time computing : formal specifications and methods

Title: Foundations of real-time computing : formal specifications and methods / edited by André M. van Tilborg, Gary M. Koob.
Publication: Boston : Kluwer Academic, c1991.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/text	Request in advance	JSE 91-2046	Offsite

Additional Authors

Description

ix, 316 p. : ill.; 25 cm.

Series Statement

The Kluwer international series in engineering and computer science ; SECS142. Real-time systems

Uniform Title

Kluwer international series in engineering and computer science ; SECS 142.
Kluwer international series in engineering and computer science. Real-time systems.

Subject

Real-time data processing

Note

"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.

Bibliography (note)

Call Number

JSE 91-2046

ISBN

0792391675

LCCN

91017472

OCLC

Title

Foundations of real-time computing : formal specifications and methods / edited by André M. van Tilborg, Gary M. Koob.

Imprint

Boston : Kluwer Academic, c1991.

Series

The Kluwer international series in engineering and computer science ; SECS142. Real-time systems

Kluwer international series in engineering and computer science ; SECS 142.

Kluwer international series in engineering and computer science. Real-time systems.

Bibliography

Includes bibliographical references and index.

Added Author

Van Tilborg, André M., 1953-

Koob, Gary M., 1958-

United States. Office of Naval Research.

Research Call Number

JSE 91-2046