LEADER 03680nam  22007095  450 
001 996466319603316
005 20230329170941.0
010   $a3-319-63501-8
024 7 $a10.1007/978-3-319-63501-9
035   $a(CKB)4340000000061644
035   $a(DE-He213)978-3-319-63501-9
035   $a(MiAaPQ)EBC6287355
035   $a(MiAaPQ)EBC5610367
035   $a(Au-PeEL)EBL5610367
035   $a(OCoLC)994221463
035   $a(PPN)203668898
035   $a(EXLCZ)994340000000061644
100   $a20170711d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNumerical Software Verification$b[electronic resource] $e10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /$fedited by Alessandro Abate, Sylvie Boldo
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XXI, 115 p. 23 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10381
311   $a3-319-63500-X 
327   $aVerified Computations using Taylor Models and Their Applications -- Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic -- Formal Correctness of Comparison Algorithms between binary64 and decimal64 Floating-Point Numbers -- Sound Numerical Computations in Abstract Acceleration -- Studying the numerical quality of an industrial computing code: a case study on Code_Aster -- Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees -- Rigorous Reachability Analysis and Domain Decomposition of Taylor Models -- A Study of Model-Order Reduction Techniques for Verification.
330   $aThis book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10381
606   $aComputer science
606   $aSoftware engineering
606   $aAlgorithms
606   $aMachine theory
606   $aComputer simulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aComputer Modelling
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aComputer simulation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Modelling.
676   $a005.14
702   $aAbate$b Alessandro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBoldo$b Sylvie$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466319603316
996   $aNumerical Software Verification$92524179
997   $aUNISA