LEADER 03373nam  22007695  450 
001 9910483345603321
005 20230221131400.0
010   $a3-319-54292-3
024 7 $a10.1007/978-3-319-54292-8
035   $a(CKB)3710000001079947
035   $a(DE-He213)978-3-319-54292-8
035   $a(MiAaPQ)EBC6303697
035   $a(MiAaPQ)EBC5595115
035   $a(Au-PeEL)EBL5595115
035   $a(OCoLC)973878368
035   $a(PPN)198868685
035   $a(EXLCZ)993710000001079947
100   $a20170216d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNumerical Software Verification $e9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /$fedited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (VII, 107 p. 21 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10152
311   $a3-319-54291-5 
327   $aVerification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS).
330   $aThis book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV 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 ;$v10152
606   $aComputer science
606   $aSoftware engineering
606   $aComputer networks
606   $aMachine theory
606   $aApplication software
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aFormal Languages and Automata Theory
606   $aComputer and Information Systems Applications
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aMachine theory.
615  0$aApplication software.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer and Information Systems Applications.
615 24$aArtificial Intelligence.
676   $a004.6
702   $aBogomolov$b Sergiy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMartel$b Matthieu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPrabhakar$b Pavithra$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483345603321
996   $aNumerical Software Verification$92524179
997   $aUNINA