Numerical Software Verification
Numerical Software Verification
Pavithra Prabhakar
,
Matthieu Martel
,
Sergiy Bogomolov
Details
OL Work ID
OL25707323W
Subjects
Computer software, verification
Find this book
Goodreads
Open Library