LEADER 03423nam  22007575  450 
001 9910741159603321
005 20251226203217.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 $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,$x2945-9168 ;$v7871
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9168 ;$v7871
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aOperating systems (Computers)
606   $aComputer science
606   $aComputer programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aOperating Systems
606   $aComputer Science Logic and Foundations of Programming
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aOperating systems (Computers).
615  0$aComputer science.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aOperating Systems.
615 24$aComputer Science Logic and Foundations of Programming.
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   $a9910741159603321
996   $aNASA Formal Methods$92860155
997   $aUNINA