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

  • Окончание торгов08/31/2024 22:53 PM (Tokyo)
  • Текущее время 08/26/2024 22:53 PM (Tokyo)
  • Ставки0
  • Количество 1 pcs
  • Лидер
  • Налог: 0 %
  • Возвраты: Невозможно
  • Состояние: USED60
  • Доставка по Японии: Бесплатно
  • Номер лота: t1090015901
  • Автопродление торговfalse
  • Область продажи: 東京都
  • Продавец: seiyaitou0607 Все лоты продавца
  • Рейтинг продавца: 512

Описание товара

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

JAN:9784274208447

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

Mordechai Ben-Ari