本/雑誌

実践TLA+

HillelWayne/著 クイープ/監訳

3850円
ポイント 1% (38p)
発売日 2021年09月発売
出荷目安 メーカー在庫あり:1-3日 ※出荷目安について

追跡可能メール便利用不可商品です

仕様

商品番号NEOBK-2657356
JAN/ISBN 9784798169163
メディア 本/雑誌
販売翔泳社
ページ数 261

著者・出版社・関連アーティスト

関連記事

    収録内容

    1 第1部 TLA+とPlusCalのセマンティクス(例
    2 PlusCal
    3 演算子と関数
    4 定数、モデル、インポート
    5 並行処理 ほか)
    6 第2部 TLA+の適用(アルゴリズム
    7 データ構造
    8 状態機械
    9 ビジネスロジック
    10 MapReduce)
    11 付録

    カスタマーレビュー

    レビューはありません。 レビューを書いてみませんか?

    閉じる

    メール登録で関連商品の先行予約や最新情報が受信できます

    close

    最近チェックした商品