感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

本のないよう

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 本のくわしいないようです。 この本は、今 0 人がよやくしています。
  • ・この本をよやくをするときは、「よやくカートに入れる」ボタンをクリックしてください。よやくするには、図書館がはっこうしたパスワードが必要です。
    ・「よやくカートに入れる」ボタンが出ないものはインターネットからよやくできません。

ぞうしょじょうほう

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

本のかず 1 ざいこのかず 1 よやくのかず 0

しょしじょうほうサマリ

本のだいめい

専修・各種学校のすべて　[89年版] 　(資格と特技シリーズ)

書いた人の名前 専修各種学校研究会／編
しゅっぱんしゃ 啓明書房
しゅっぱんねんげつ 1988
本のきごう N377-3/00677/８９

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

とうろくするほんだなログインすると、マイほんだながりようできます。

本のばしょ

各蔵書資料に関する詳細情報です。

No. としょかん 本のばんごう 本のしゅるい 本のばしょ くわしいばしょ せいげん じょうたい
1 鶴舞0232369918一般和書外部保管　外部保管中在庫 

かんれんしりょう

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

しょししょうさい

この資料の書誌詳細情報です。

本のきごう N377-3/00677/８９
本のだいめい 専修・各種学校のすべて　[89年版] 　(資格と特技シリーズ)
書いた人の名前 専修各種学校研究会／編
しゅっぱんしゃ 啓明書房
しゅっぱんねんげつ 1988
ページすう 358p
おおきさ 19cm
シリーズめい 資格と特技シリーズ
ISBN 4-7671-0645-1
ぶんるい 3773
いっぱんけんめい 学校案内 　 学校案内
本のしゅるい 一般和書
タイトルコード 1009410038289

ようし ＬＳＩ設計者・ＬＳＩシステム設計者、ＥＤＡソフトウェア開発・販売会社の技術者、およびＬＳＩ設計の大学研究者の必読書。検査すべき仕様をアサーションとして記述することで、仕様・設計意図の明確化とコンピュータ実行が可能になり、設計の品質の向上と設計時間・検証時間の短縮の両立が実現できる。本書では、アサーション設計の有効性、設計手法のなかでの位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目をわかりやすく解説。
もくじ 第１章　はじめに
第２章　アサーション手法
第３章　ＲＴＬプロパティの仕様記述
第４章　ＰＬＩベース・アサーション
第５章　機能カバレッジ
第６章　アサーション・パターン
第７章　アサーション・クックブック
第８章　正確な動作の仕様記述
付録Ａ　ＯＰＥＮ　ＶＥＲＩＦＩＣＡＴＩＯＮ　ＬＩＢＲＡＲＹ
付録Ｂ　ＰＳＬ　ＰＲＯＰＥＲＴＹ　ＳＰＥＣＩＦＩＣＡＴＩＯＮ　ＬＡＮＧＵＡＧＥ
付録Ｃ　Ｓｙｓｔｅｍ　Ｖｅｒｉｌｏｇ　アサーション


ないよう細目表：

前のページへ
ページのせんとうへ トップページへ

本文はここまでです。

ページの終わりです。