Matches in Library of Congress for { <http://lccn.loc.gov/00051457> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 00051457 contributor B45005.
- 00051457 contributor B45006.
- 00051457 created "2001.".
- 00051457 date "2001".
- 00051457 date "2001.".
- 00051457 dateCopyrighted "2001.".
- 00051457 description "Includes bibliographical references (p. [133]-136 and index.".
- 00051457 extent "x, 136 p. :".
- 00051457 identifier "079237262X (alk. paper)".
- 00051457 identifier 00051457-d.html.
- 00051457 identifier 00051457-t.html.
- 00051457 issued "2001".
- 00051457 issued "2001.".
- 00051457 language "eng".
- 00051457 publisher "Boston : Kluwer Academic Publishers,".
- 00051457 subject "004.16 21".
- 00051457 subject "Embedded computer systems.".
- 00051457 subject "Formal methods (Computer science)".
- 00051457 subject "TK7895.E42 H75 2001".
- 00051457 title "Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.".
- 00051457 type "text".