Formal methods for real-time computing /

Bibliographic Details
Other Authors:	Heitmeyer, Constance L., Mandrioli, Dino
Format:	Book
Language:	English
Published:	Chichester ; New York : John Wiley, [1996]
Series:	Trends in software ; 5.
Subjects:	Real-time data processing.

Description
Physical Description:	xvii, 271 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	0471958352 (acid-free paper)