封面圖片

Recent advances in program verification through computer algebra

Guardado en:
發表在:Frontiers of Computer Science in China vol. 4, no. 1 (Mar 2010), p. 1
主要作者: Yang, Lu
其他作者: Zhou, Chaochen, Zhan, Naijun, Xia, Bican
出版:
Springer Nature B.V.
主題:
Computer algebra
Program verification (computers)
Nonlinear systems
在線閱讀:Citation/Abstract
Full Text - PDF
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!