LEADER 03779nam 22007095 450 001 996465988803316 005 20200701212914.0 010 $a3-319-45943-0 024 7 $a10.1007/978-3-319-45943-1 035 $a(CKB)3710000000872924 035 $a(DE-He213)978-3-319-45943-1 035 $a(MiAaPQ)EBC6287481 035 $a(MiAaPQ)EBC5587406 035 $a(Au-PeEL)EBL5587406 035 $a(OCoLC)1066184904 035 $a(PPN)195510909 035 $a(EXLCZ)993710000000872924 100 $a20160912d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCritical Systems: Formal Methods and Automated Verification$b[electronic resource] $eJoint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /$fedited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 247 p. 89 illus.) 225 1 $aProgramming and Software Engineering ;$v9933 311 $a3-319-45942-2 330 $aThis book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies. 410 0$aProgramming and Software Engineering ;$v9933 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aMathematical logic 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aMathematical logic. 615 14$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aMathematical Logic and Formal Languages. 676 $a621.395 702 $ater Beek$b Maurice H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGnesi$b Stefania$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKnapp$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465988803316 996 $aCritical Systems: Formal Methods and Automated Verification$92830202 997 $aUNISA LEADER 01262nam0 22002651i 450 001 UON00183089 005 20231205103140.794 010 $a02-532-0541-7 100 $a20030730d1989 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| 1|||| 200 1 $aParty, state, and society in the russian civil war$eexplorations in social his tory$fedited by Diane P. Koenker, William G. Rosenberg, and Ronald Grigor Suny 210 $aBloomington$cIndiana university press$d1989 - XIV,450 p. ; 24 cm 410 1$1001UON00171674$12001 $aRussian and East European studies $1210 $aPittsburgh$cPittsburgh University Press 606 $aUNIONE SOVIETICA$xCONDIZIONI ECONOMICHE E SOCIALI$x1918-1938$3UONC034534$2FI 701 1$aKOENKER$bDiane P.$3UONV105830$0675980 701 1$aRosenberg$bWilliam G.$3UONV100904$0675979 701 1$aSuny$bRonald Grigor$3UONV105764$0140812 801 $aIT$bSOL$c20250509$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00183089 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI A 0283 $eSI SC 23492 5 0283 996 $aParty, state, and society in the russian civil war$91288719 997 $aUNIOR