文字サイズ

  • 小
  • 中
  • 大

古書を探す

「並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門」の検索結果

絞込み検索を表示
年から 年※単一年を探す場合 1995～1995

（例）初版　函　帯　など
￥ から￥
件

詳細検索についての注意事項

  • 複数条件での絞込検索が可能です。検索条件をスペースで区切って入力してください。
表示順
出版社
コンパクト表示 すべて表示
件
現在、お探しの書籍は登録されておりません。

書誌カタログの検索結果


「日本の古本屋」に参加している950店以上の古書店に、入荷依頼のリクエストを送ることができます。
並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門 ＜トップエスイー実践講座 / 本位田真一 シリーズ監修 6＞

並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門 ＜トップエスイー実践講座 / 本位田真一 シリーズ監修 6＞

Verification and Implementation of Concurrent Systems

東野輝夫 監修 ; 磯部祥尚 著、近代科学社、2012.12

361p 24cm

978-4-7649-0435-4

  • リクエストを送る

太平洋戦争終戦80年 - 戦後80年

日航ジャンボ機事故40年 - 航空機、事故、安全

墜落
墜落
￥500
大空港25時
大空港25時
 ￥1,000