Rigorous Software Development
An Introduction to Program Verification
あらすじ
この書籍について
- 言語 English
- 商品番号：9780857290182
- 発売日 2011年1月4日
- 出版社：Springer London
- 出版社： Springer
- ファイル形式 EPUB2
- サイズ 3.67 MB
- ダウンロードオプション:EPUB2 (Adobe DRM)
An Introduction to Program Verification
楽天Koboなら読書がもっと楽しくなります。
Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger
6,076 円
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
7,900 円
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
4,862 円
Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr
6,076 円
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
8,507 円
José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
7,292 円
最初のレビュアーになりませんか？
