Numerical Software Verification
Numerical Software Verification
Alessandro Abate
,
Sylvie Boldo
Details
OL Work ID
OL20813882W
Subjects
Numerical analysis
Computer software, verification
Find this book
Open Library