新入荷 再入荷

コンピュータ・IT Verification of Object-Oriented Software

flash sale icon タイムセール
終了まで
00
00
00
999円以上お買上げで送料無料(
999円以上お買上げで代引き手数料無料
通販と店舗では販売価格や税表示が異なる場合がございます。また店頭ではすでに品切れの場合もございます。予めご了承ください。
新品 5040円 (税込)
数量

商品詳細情報

管理番号 新品 :MJY74654262533
中古 :MJY74654262533-1
メーカー コンピュータ・IT 発売日 2025/07/02 03:59 定価 7000円
カテゴリ

コンピュータ・IT Verification of Object-Oriented Software

IBM Z OMEGAMON for JVM Now Monitors Open API Specification
IBM Z OMEGAMON for JVM Now Monitors Open API Specification

ProveriT: A Parameterized, Composable, and Verified Model of
ProveriT: A Parameterized, Composable, and Verified Model of

Getting Started with WiSeConnect™ SDK v3.x in SoC Mode
Getting Started with WiSeConnect™ SDK v3.x in SoC Mode

Getting Started with WiSeConnect™ SDK v3.x and EFx32™ Host
Getting Started with WiSeConnect™ SDK v3.x and EFx32™ Host

Getting Started with WiSeConnect™ SDK v3.x and EFR32™ Host
Getting Started with WiSeConnect™ SDK v3.x and EFR32™ Host

約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ご覧いただきありがとうございます。
全て使用してありますが、目立った傷や汚れありません。バラ売りでのご購入のご相談も可能です。

商品情報の訂正

このページに記載された商品情報に記載漏れや誤りなどお気づきの点がある場合は、下記訂正依頼フォームよりお願い致します。

訂正依頼フォーム

商品レビュー

レビューの投稿にはサインインが必要です