Cover Image

Synchronous equivalence : formal methods for embedded systems /

Show other versions (1)
Bibliographic Details
Main Author: Hsieh, Harry, 1967-
Other Authors: Balarin, Felice, Sangiovanni-Vincentelli, Alberto
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2001]
Subjects:
Embedded computer systems.
Formal methods (Computer science)
Description
Physical Description:x, 136 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [133]-136) and index.
ISBN:079237262X (alk. paper)