Program Proofs
簡介
關於本書
- 語言：English
- ISBN：9780262375429
- 發行日期：2023年3月7日
- 出版商：MIT Press
- 出版單位：The MIT Press
- 檔案格式：EPUB3
- 檔案大小：3.11 MB
- 下載選項：EPUB3 (Adobe DRM)
Kobo 讓愛書人能夠閱讀更多。
Toby J. Teorey, Stephen Buxton, Lowell Fryman, Terry Halpin, Jan L. Harrington, William H. Inmon, Sam S. Lightstone, Jim Melton, Tony Morgan, Thomas P. Nadeau, Bonnie O'Neil, Elizabeth O'Neil, Patrick O'Neil, Markus Schneider, Graeme Simsion, Graham Witt, Ralf Hartmut Güting
$577.29
Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman
$422.89
Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan
$610.73
Barbara Jobstmann, K. Rustan M. Leino
$410.49
率先評價和評論此書籍！
