Omslagsbillede

Recent advances in program verification through computer algebra

Guardado en:
Udgivet i:Frontiers of Computer Science in China vol. 4, no. 1 (Mar 2010), p. 1
Hovedforfatter: Yang, Lu
Andre forfattere: Zhou, Chaochen, Zhan, Naijun, Xia, Bican
Udgivet:
Springer Nature B.V.
Fag:
Computer algebra
Program verification (computers)
Nonlinear systems
Online adgang:Citation/Abstract
Full Text - PDF
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!