【2022年4月最新】クラウドおすすめ入門/参考書ランキング

書籍のデータ更新日のアイコン更新書籍の総数のアイコン書籍数:246
  1. 15位
    理論から学ぶデータベース実践入門

    理論から学ぶデータベース実践入門

    エンジニアが知るべきRDBとの正しい付き合い方。...

  2. 15位
    形式的モデル化

    形式的モデル化

    ソフトウェアが正しく設計されているかを保証するための手法として,システムを数学的に厳密なモデルで記述し,仕様が満たされているかどうかを数理的に調べる,「形式検証」が注目されている. 本書では,モデル検査に代表されるように,現実のシステムにも適用可能になってきた形式検証を理解し,使いこなすための理論的背景について解説する. 離散事象システム,実時間システム,ハイブリッドシステムなど,さまざまなシ...

ページネーションを読み込み中