Research Catalog

Synchronous equivalence : formal methods for embedded systems

Title
Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
Author
Hsieh, Harry, 1967-
Publication
Boston : Kluwer Academic Publishers, [2001], ©2001.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance TK7895.E42 H75 2001Off-site

Details

Additional Authors
  • Balarin, Felice.
  • Sangiovanni-Vincentelli, Alberto.
Description
x, 136 pages : illustrations; 25 cm
Subject
  • Embedded computer systems
  • Formal methods (Computer science)
Bibliography (note)
  • Includes bibliographical references (p. [133]-136) and index.
ISBN
079237262X (alk. paper)
LCCN
00051457
OCLC
  • ocm45209115
  • SCSB-4075603
Owning Institutions
Columbia University Libraries