LEADER 00917nam0-2200301 --450 001 9910844588203321 005 20240418085000.0 010 $a978-88-321-6556-2 100 $a20240418d2020----kmuy0itay5050 ba 101 0 $aita$cita 102 $aIT 105 $ay 001yy 200 1 $aIconoclastia$eLa pazzia contagiosa della Cancel Culture che sta distruggendo la nostra Storia$fEmanuele Mastrangelo, Enrico Petrucci 210 $aMassa$cEclettica Edizioni$d2020 215 $a398 p.$d17 cm 225 1 $aLavorincorso$v6 610 0 $aCensura 676 $a303.3$v23$zita 676 $a306$v23$zita 700 1$aMastrangelo,$bEmanuele$0768174 701 1$aPetrucci,$bEnrico$f<1979- >$01734120 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910844588203321 952 $aCOLLEZ. 3360 (6)$b1743/2024$fFSPBC 959 $aFSPBC 996 $aIconoclastia$94150645 997 $aUNINA LEADER 04804nam 22007095 450 001 9910483224103321 005 20251226203702.0 010 $a3-319-06200-X 024 7 $a10.1007/978-3-319-06200-6 035 $a(CKB)3710000000106754 035 $a(DE-He213)978-3-319-06200-6 035 $a(SSID)ssj0001204990 035 $a(PQKBManifestationID)11639967 035 $a(PQKBTitleCode)TC0001204990 035 $a(PQKBWorkID)11181357 035 $a(PQKB)10660264 035 $a(MiAaPQ)EBC3093596 035 $a(PPN)178320412 035 $a(EXLCZ)993710000000106754 100 $a20140423d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNASA Formal Methods $e6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /$fedited by Julia M. Badger, Kristin Yvonne Rozier 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XXVI, 360 p. 114 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8430 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-06199-2 327 $aModel checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.- Application of formal methods to emerging technologies. 330 $aThis book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 ? May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8430 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 $a005.1 702 $aBadger$b Julia M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910483224103321 996 $aNASA Formal Methods$92860155 997 $aUNINA