Runtime_Verification
  • Googleプレビュー

Runtime Verification RUNTIME VERIFICATION (Lecture Notes in Computer Science)
Oleg Sokolsky

24,105円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

商品基本情報

  • 発売日:  2007年
  • 著者:   Oleg SokolskySerdar Tasiran
  • 出版社:  SPRINGER VERLAG GMBH
  • タイトル:  Runtime Verification:RUNTIME VERIFICATION(Lecture Notes in Computer Science)
  • 発行年:  2007年
  • サイズ:  Paperback
  • ページ数:  213
  • 言語:   English
  • ISBNコード:  9783540773948

商品説明

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. The 16 revised full papers presented together with 1 invited paper were carefully selected from 29 initial submissions. The subject covers several technical fields such as specification languages and logics, aspect oriented languages with trace predicates, program instrumentation in general, program guidance in general, combining static and dynamic analysis, and dynamic program analysis. There are 7 papers that focus on aspect-oriented programming followed by 9 papers which place emphasis on core runtime verification.
■【洋書】に関するご注意■
※商品の形態について 一部の商品は、商品名の後ろに形態が略号で表記されています。
・(H):ハードカバー   ・(P):ペーパーカバー ・(BB):ボードブック ・(W/CD):CD付き書籍
・(A):ペーパーバック(新書サイズ) ・(B):ペーパーバック(単行本サイズ)・(C):ペーパーバック(ハードカバーと同サイズ)

※お届けについて  「メーカー取り寄せ」:海外倉庫よりお取り寄せいたします。通常、2週間程度で入荷いたします。

※商品状態について 洋書は、海外の出版社にて発行しております。
 海外より商品の手配を行うため、配送中のトラブルもあり万全ではない商品が届くことがございます。より良い商品をお届けできるよう努めてまいりますが、細かな傷や汚れであれば発送をいたします。
 また、上記理由により、商品の交換ならびに返品は承りかねますので、内容をご理解のうえ、商品を購入ください。

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

ご注文できない商品

24,105円(税込)

送料無料

お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:洋書

    ※1時間ごとに更新

    1. 1
      GOODNIGHT MOON(PB W/CD)
      GOODNIGHT MOON(PB W/CD)

      MARGARET WISE BROWN

      1,088円(税込)

    2. 2
      Cars Origins: Struck by Lightning (Disney/Pixar Cars)
      Cars Origins: Struck by Lightning (Dis…

      Dave Keane

      984円(税込)

    3. 3
      WEE SING CHILDREN'S SONGS&FINGER(P W/CD)
      WEE SING CHILDREN'S SONGS&FINGER(P W/CD)

      PAMELA CONN BEALL

      897円(税込)

    4. 4
      Cookie Count: A Tasty Pop-Up
      Cookie Count: A Tasty Pop-Up

      Robert Sabuda

      2,916円(税込)

    5. 5
      Mario Kart 8 Deluxe: Prima Official Guide
      Mario Kart 8 Deluxe: Prima Official Gu…

      Joseph Epstein

      2,332円(税込)

    このページの先頭へ