Formal methods in circuit design

Formal methods in circuit design

V. Stavridou

Cambridge : Cambridge University Press, 1993

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

549.7-St2

10005023594

一般図書

詳細情報

刊年

1993

形態

xiii, 193 p. : ill. ; 26 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 37

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Stavridou, V. [ Stavridou, V. (Victoria) ] [ Stavridou, Victoria ]

分類

DC20:621.395

ISBN

0521443369

NCID

BA20908349

番号

NBN : B9339504