日本のストアです。

日本のストアは日本在住者向けストアのためアメリカ合衆国からはご利用になれません。アメリカ合衆国のストアをご利用ください。

アメリカ合衆国のストアへ移動する別のストアを選択する
メインコンテンツに移動
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings 電子ブック 著

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

電子書籍,電子書籍
Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
Springer Nature Proceedings Computer Science

あらすじ

ジャンル

この書籍について

  • 言語　English
  • 商品番号：9783319955827
  • 発売日　2018年7月11日
  • 出版社：Springer International Publishing
  • 出版社： Springer
  • ファイル形式　EPUB2
  • サイズ　11.57 MB
  • ダウンロードオプション:EPUB2 (Adobe DRM)