SPINモデル検査入門　Mordechai Ben-Ari (著）エンタメ/ホビーの本(ビジネス/経済)の商品写真

送料込

SPINモデル検査入門　Mordechai Ben-Ari (著）

¥1,800 送料込

本人確認済

ラクマ安心・安全への取り組み

商品説明

モルデハイ・ベン・アリ(著)
中島震 (翻訳) 谷津弘一 (翻訳)
野中哲 (翻訳) 足立太郎 (翻訳)

表紙に細かい傷と汚れ目立ちます。経年による色あせあり。
本上部に反れあり。ご理解いただいた方のみご購入をお願いします。
アルコールで軽く消毒後、クリックポストで発送予定です（追跡番号あり）
お手数ですが、購入申請をお願いしてます

JAN:9784274208447

●内容
ＰＲＯＭＥＬＡ逐次モデル記述
逐次モデル記述の検証
並行性
同期機構
時相論理による検証
データとモデル記述の構造
通信チャネル
非決定性
ＰＲＯＭＥＬＡの高度な使い方
ＳＰＩＮの高度な話題
ケーススタディ

7日前

¥1,800 送料込

購入に進む

いいね 0件

コメント 0件

本人確認済

ラクマ安心・安全への取り組み

商品説明

7日前

商品情報

カテゴリ	エンタメ/ホビー › 本 › ビジネス/経済
サイズ	なし
商品の状態	傷や汚れあり
配送料の負担	送料込
配送方法	クリックポスト
発送日の目安	支払い後、2～3日で発送
発送元の地域	東京都