Rigorous Software Development
An Introduction to Program Verification
簡介
關於本書
- 語言：English
- ISBN：9780857290182
- 發行日期：2017年11月15日
- 出版商：Springer London
- 出版單位：Springer
- 檔案格式：EPUB2
- 檔案大小：3.67 MB
- 下載選項：EPUB2 (Adobe DRM)
An Introduction to Program Verification
率先評價和評論此書籍！
Michael Gelfond, Yulia Kahl
$461.39
Nello Cristianini, John Shawe-Taylor
$749.79
Raymond Greenlaw, H. James Hoover
$443.69
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
$325.69
Panos M. Pardalos, Fuad Aleskerov, Boris Goldengorin
$745.59
Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos
$331.39
Lisbeth Fajstrup, Eric Goubault, Samuel Mimram, Martin Raussen, Emmanuel Haucourt
$745.59
Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr
$414.19
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
$414.19
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
$414.19
Javier Esparza, Andrzej S. Murawski
$414.19
