LEADER 04045nam  22007815  450 
001 996466173803316
005 20200706225259.0
010   $a3-642-38088-3
024 7 $a10.1007/978-3-642-38088-4
035   $a(CKB)3280000000007628
035   $a(DE-He213)978-3-642-38088-4
035   $a(SSID)ssj0000904592
035   $a(PQKBManifestationID)11563884
035   $a(PQKBTitleCode)TC0000904592
035   $a(PQKBWorkID)10923533
035   $a(PQKB)11060116
035   $a(MiAaPQ)EBC3093188
035   $a(PPN)17049179X
035   $a(EXLCZ)993280000000007628
100   $a20130509d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNASA Formal Methods$b[electronic resource] $e5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /$fedited by Guillaume Brat, Neha Rungta, Arnaud Venet
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XXIV, 486 p. 164 illus.) 
225 1 $aProgramming and Software Engineering ;$v7871
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38087-5 
327   $aModel checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic execution -- Requirements and specifications -- Probabilistic and statistical analysis.- Theorem proving.
330   $aThis book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
410  0$aProgramming and Software Engineering ;$v7871
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.0151
702   $aBrat$b Guillaume$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRungta$b Neha$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVenet$b Arnaud$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466173803316
996   $aNASA Formal Methods$91898868
997   $aUNISA