Some Experience with Constructing, Testing, and Certifying a Standard Mathematical Subroutine Library

Autor:	Lawrence L. Barinka
Rok vydání:	1975
Předmět:	Computer science Programming language Applied Mathematics Subroutine Software construction Software verification and validation computer.software_genre computer Software
Zdroj:	ACM Transactions on Mathematical Software. 1:165-177
ISSN:	1557-7295 0098-3500
DOI:	10.1145/355637.355642
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f80c77f97ff05c8f7ce6faafa677b225 https://doi.org/10.1145/355637.355642 Zobrazit plný text záznamu