Formal methods for real-time computing
By: edited by Constance Heitmeyer and Dino Mandrioli.
Contributors: Heitmeyer, Constance.; Mandrioli, Dino.
Series: Trends in software ;; 5
Publisher: John Wiley; Wiley
Published: 1996
Place of publication: Chichester; New York
Language: eng
Number of pages: 271
Subjects: Real-time data processing.; Formal methods (Computer science)
Description: xvii, 271 p. : 24 cm
Notes: Includes bibliographical references and index.