Research Catalog

Formal techniques in real-time and fault-tolerant systems

Title: Formal techniques in real-time and fault-tolerant systems / edited by Jan Vytopil.
Publication: Boston : Kluwer Academic Publishers, c1993.

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 93-1075	Offsite

Additional Authors

Vytopil, J. (Jan), 1947-

Description

xi, 208 p. : ill.; 25 cm.

Series Statement

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

Uniform Title

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

Subject

Bibliography (note)

Call Number

JSE 93-1075

ISBN

0792393325 (acid-free paper)

LCCN

93016676

OCLC

Title

Formal techniques in real-time and fault-tolerant systems / edited by Jan Vytopil.

Imprint

Boston : Kluwer Academic Publishers, c1993.

Series

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

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

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

Bibliography

Includes bibliographical references and index.

Added Author

Vytopil, J. (Jan), 1947-

Research Call Number

JSE 93-1075