LEADER 02423nam 22004935 450 001 996466351203316 005 20200704191804.0 010 $a3-540-39419-2 024 7 $a10.1007/3-540-11603-6 035 $a(CKB)1000000000230196 035 $a(SSID)ssj0000325876 035 $a(PQKBManifestationID)11253548 035 $a(PQKBTitleCode)TC0000325876 035 $a(PQKBWorkID)10265033 035 $a(PQKB)11564367 035 $a(DE-He213)978-3-540-39419-8 035 $a(PPN)155204394 035 $a(EXLCZ)991000000000230196 100 $a20121227d1982 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProblems and Methodologies in Mathematical Software Production$b[electronic resource] $eInternational Seminar, Held at Sorrento, Italy, November 3-8, 1980 /$fedited by P.C. Messina, A. Murli 205 $a1st ed. 1982. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1982. 215 $a1 online resource (X, 274 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v142 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-11603-6 327 $aBasic concepts for computational software -- Implementation and testing of function software -- Program correctness and machine arithmetic -- Preparing the NAG library -- Computer-based documentation for the NAG library -- Transportable Numerical Software -- Tools for numerical software engineering -- Portability and other source management problems -- Remarks about performance profiles -- The role of computer centers in the field of mathematical software -- Guidelines for managing mathematical software libraries at computer centers -- Panel session on the challenges for developers of mathematical software. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v142 606 $aAlgorithms 606 $aAlgorithms$3https://scigraph.springernature.com/ontologies/product-market-codes/M14018 615 0$aAlgorithms. 615 14$aAlgorithms. 676 $a518.1 702 $aMessina$b P.C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMurli$b A$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466351203316 996 $aProblems and methodologies in mathematical software production$9342714 997 $aUNISA