コンピュータ・IT Verification of Object-Oriented Software Verification of Object-Oriented Software. The KeY Approach

HOT ! コンピュータ・IT Verification of Object-Oriented Software Verification of Object-Oriented Software. The KeY Approach

※HERCONOMY.COM 限定モデル
YouTuberの皆様に商品の使い心地などをご紹介いただいております！
紹介動画はこちら

ネット販売
価格（税込）

5950円

コメリカード番号登録、コメリカードでお支払いで
コメリポイント： 1ポイント獲得

コメリポイントについて

購入個数

お店で受け取る
（送料無料）

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

13時までに注文→17時までにご用意

17時までに注文→翌朝までにご用意

受け取り方法・送料について

カートに入れる

配送する

納期目安：

2025.08.08 14:26頃のお届け予定です。

決済方法が、クレジット、代金引換の場合に限ります。その他の決済方法の場合はこちらをご確認ください。

※土・日・祝日の注文の場合や在庫状況によって、商品のお届けにお時間をいただく場合がございます。

欲しいものリストに追加されました

コンピュータ・IT Verification of Object-Oriented Software Verification of Object-Oriented Software. The KeY Approachの詳細情報

Verification of Object-Oriented Software. The KeY Approach。IBM watsonx Code Assistant for Z brings Generative AI to。Getting Started with WiSeConnect™ SDK v3.x in SoC Mode。約15年前に購入した本ですが、日に当たらない本棚でほかんしていたので、状態は良い方だと思います。- タイトル: Verification of Object-Oriented Software- 著者: Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt- シリーズ名: Lecture Notes in Artificial Intelligence- フォワード著者: K. Rustan M. Leino- 出版社: Springer- ISBN: 978-3-540-68977-5ご覧いただきありがとうございます。。The network license cannot be found。