検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Synchronous equivalence : formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli A1 Hsieh, Harry, 1967- A1 Balarin, Felice A1 Sangiovanni-Vincentelli, Alberto YR 2001 FD c2001 SP x, 136 p. K1 Embedded computer systems K1 Formal methods (Computer science) PB Kluwer Academic Publishers PP Boston SN 079237262X LA English (英語) CL LCC:TK7895.E42 NO Includes bibliographical references (p. [133]-136) and index NO 書誌ID=1001238033; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001238033 OL 30