T-SITE

本、DVD、CD、ゲームの通販 【TSUTAYA オンラインショッピング】

Vポイントの確認
マイページ（注文履歴）
お気に入りリスト
買い物かごを見る
  • HOME
  • 本／コミック
  • 雑誌
  • DVD／ブルーレイ
  • CD/音楽DVD
  • ゲーム
  • 文具・雑貨／グッズ
  • アニメ
詳細検索

この商品について

ジャンル
書籍
作品情報
アサーションベース設計

アサーションベース設計

アサーションベース設計

著者： Ｈａｒｒｙ　Ｄ．　Ｆｏｓｔｅｒ   著者： Ａｄａｍ　Ｃ．　Ｋｒｏｌｎｉｋ  
書籍 
出版社：丸善出版
発売日： 2004年9月
mixiチェック
  • 価格（税込）：8,800円
  • Vポイント：40pt
  • 在庫なし お気に入りリストへ
  • 在庫なし

この商品の説明

ＬＳＩ設計者・ＬＳＩシステム設計者、ＥＤＡソフトウェア開発・販売会社の技術者、およびＬＳＩ設計の大学研究者の必読書。検査すべき仕様をアサーションとして記述することで、仕様・設計意図の明確化とコンピュータ実行が可能になり、設計の品質の向上と設計時間・検証時間の短縮の両立が実現できる。本書では、アサーション設計の有効性、設計手法のなかでの位置づけ、その具体的な適用方法などについて、豊富なアサーションの実例を用いながら、実装に必要な重要項目をわかりやすく解説。

著者/アーティスト

著者: Ｈａｒｒｙ　Ｄ．　Ｆｏｓｔｅｒ 、 著者: Ａｄａｍ　Ｃ．　Ｋｒｏｌｎｉｋ 、 著者: Ｄａｖｉｄ　Ｊ．　Ｌａｃｅｙ 、 監訳: 東野輝夫 、 監訳: 岡野浩三 、 監訳: 中田明夫

目次

第１章　はじめに；第２章　アサーション手法；第３章　ＲＴＬプロパティの仕様記述；第４章　ＰＬＩベース・アサーション；第５章　機能カバレッジ；第６章　アサーション・パターン；第７章　アサーション・クックブック；第８章　正確な動作の仕様記述；付録Ａ　ＯＰＥＮ　ＶＥＲＩＦＩＣＡＴＩＯＮ　ＬＩＢＲＡＲＹ；付録Ｂ　ＰＳＬ　ＰＲＯＰＥＲＴＹ　ＳＰＥＣＩＦＩＣＡＴＩＯＮ　ＬＡＮＧＵＡＧＥ；付録Ｃ　Ｓｙｓｔｅｍ　Ｖｅｒｉｌｏｇ　アサーション

商品仕様

  • アイテム名:書籍
  • ページ数:５０６ｐ
  • 大きさ:２１ｃｍ（Ａ５）
  • 出版社:丸善出版
  • ISBN-10:4621074490
  • ISBN-13:9784621074497

【お届けの際のご注意】
▼発送時期について

BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。

また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。

なお、書籍と書籍以外の商品（DVD、CD、ゲーム、GOODSなど）を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。


▼本・コミックの価格表示について

本サイト上で表示されている商品の価格（以下「表示価格」といいます）は、本サイト上で当該商品の表示を開始した時点の価格となります。

この価格は、売買契約成立時までに変動する可能性があります。

利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、

詳しくはオンラインショッピングサービス利用規約をご確認ください。

なお、価格変動による補填、値引き等は一切行っておりません。

 

■オンラインショッピングサービス利用規約

(1) 宅配サービス：第2章【宅配サービス】第6条において定めます。

(2) TOLピックアップサービス：第3章【TOLピックアップサービス】第12条において定めます。

 

【サイト表記の書籍カバーについて】

書籍のカバーは、期間限定で変更する場合がございます。

そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。

カバー違いによる交換は行っておりません。