秋田公立美術大学OPAC

ようこそ  ゲスト さん

Formal methods in circuit design / V. Stavridou

(Cambridge tracts in theoretical computer science;37)
データ種別 図書
出版者 Cambridge : Cambridge University Press
出版年 1993
本文言語 英語
大きさ xiii, 193 p. : ill. ; 26 cm

所蔵情報を非表示

1

秋田公立美術大学

配架場所 巻 次 請求記号 登録番号 状 態 コメント ISBN 刷 年 利用注記 予約 指定図書
閉架書庫
549.7 || St2 0090381
0521443369 1993

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *Stavridou, V.
分 類 DC20:621.395
書誌ID 2000033075
ISBN 0521443369
NCID BA20908349

検索結果一覧に戻る ページトップ