LEADER 04112nam  22007575  450 
001 996465551603316
005 20200705084410.0
010   $a3-642-20398-1
024 7 $a10.1007/978-3-642-20398-5
035   $a(CKB)2670000000082461
035   $a(SSID)ssj0000539392
035   $a(PQKBManifestationID)11334188
035   $a(PQKBTitleCode)TC0000539392
035   $a(PQKBWorkID)10569031
035   $a(PQKB)10578368
035   $a(DE-He213)978-3-642-20398-5
035   $a(MiAaPQ)EBC3066623
035   $a(PPN)153864540
035   $a(EXLCZ)992670000000082461
100   $a20110406d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNASA Formal Methods$b[electronic resource] $eThird International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /$fedited by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIV, 534 p.)
225 1 $aProgramming and Software Engineering ;$v6617
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-20397-3 
330   $aThis book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
410  0$aProgramming and Software Engineering ;$v6617
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aOperating systems (Computers)
606   $aComputer logic
606   $aComputer programming
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aOperating systems (Computers).
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aOperating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aProgramming Techniques.
676   $a004.01/51
702   $aBobaru$b Mihaela$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHavelund$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHolzmann$b Gerard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJoshi$b Rajeev$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aNFM (Symposium)
906   $aBOOK
912   $a996465551603316
996   $aNASA Formal Methods$91898868
997   $aUNISA