Books

並行システムの検証と実装

形式手法CSPに基づく高信頼並行システム開発入門

書籍
オンデマンド版
大活字版
書籍
雑誌
電子版
読み上げ可能電子版
オーディオブック
著:本位田真一
著:東野輝夫
著:磯部祥尚
出版社:近代科学社
メイン画像
同一作品の他版
アクセシブルブック

内容紹介

目次

JP-eコード:7649043511000000000t
出版社:近代科学社
コンテンツ公開日:2012年12月26日

※同一作品の他版、アクセシブルブックにはAIにより推定されたものが含まれる場合があります。