LEADER 03562nam 22007335 450 001 996465687503316 005 20230330030621.0 010 $a3-319-94111-9 024 7 $a10.1007/978-3-319-94111-0 035 $a(CKB)3810000000358689 035 $a(DE-He213)978-3-319-94111-0 035 $a(MiAaPQ)EBC6303541 035 $a(PPN)229494609 035 $a(EXLCZ)993810000000358689 100 $a20180615d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel Checking Software$b[electronic resource] $e25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /$fedited by Marķa del Mar Gallardo, Pedro Merino 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 347 p. 78 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10869 311 $a3-319-94110-0 320 $aIncludes bibliographical references and index. 327 $aFormal verification techniques for automated analysis of software -- Formal analysis for modeling languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction and symbolic execution techniques. . 330 $aThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10869 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer simulation 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Modelling 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer simulation. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Modelling. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.14 702 $aGallardo$b Marķa del Mar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMerino$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465687503316 996 $aModel Checking Software$9771961 997 $aUNISA LEADER 02928nam 2200745Ia 450 001 9910963608403321 005 20251116143227.0 010 $a1-134-75086-2 010 $a1-280-33002-3 010 $a0-203-05732-5 035 $a(CKB)111056485529316 035 $a(EBL)168968 035 $a(OCoLC)475876069 035 $a(SSID)ssj0000273651 035 $a(PQKBManifestationID)11221506 035 $a(PQKBTitleCode)TC0000273651 035 $a(PQKBWorkID)10313882 035 $a(PQKB)11450739 035 $a(MiAaPQ)EBC168968 035 $a(Au-PeEL)EBL168968 035 $a(CaPaEBR)ebr10056044 035 $a(CaONFJC)MIL33002 035 $a(EXLCZ)99111056485529316 100 $a19970502d1998 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aWomen's work and wages $ea selection of papers from the 15th Arne Ryde Symposium on Economics of Gender and the Family in honor of Anna Bugge and Knut Wicksell /$fedited by Christina Jonung and Inga Persson 205 $a1st ed. 210 $aLondon ;$aNew York $cRoutledge$d1998 215 $a1 online resource (271 p.) 225 1 $aRoutledge research in gender and society ;$v2 300 $aDescription based upon print version of record. 311 08$a0-415-14903-7 320 $aIncludes bibliographical references and index. 327 $aBOOK COVER; TITLE; COPYRIGHT; CONTENTS 330 $aAt a time when women in industrialized countries have a stronger and more permanent presence in the labour market than ever before, why does the gender pay gap differ so greatly between countries? The contributors to this book use empirical studies of gender differences in family responsibilities and time allocation to demonstrate how such differences affect women's wages and analyse pay structures and wage mobility throughout Europe. 410 0$aRoutledge research in gender and society ;$v2. 606 $aWomen$xEmployment$vCongresses 606 $aWages$xWomen$vCongresses 606 $aWork and family$vCongresses 606 $aWomen$xEmployment$zEurope$vCase studies$vCongresses 606 $aWages$xWomen$zEurope$vCase studies$vCongresses 606 $aWork and family$zEurope$vCase studies$vCongresses 615 0$aWomen$xEmployment 615 0$aWages$xWomen 615 0$aWork and family 615 0$aWomen$xEmployment 615 0$aWages$xWomen 615 0$aWork and family 676 $a331.4 701 $aBugge$b Anna$01877672 701 $aWicksell$b Knut$f1851-1926.$0103230 701 $aJonung$b Christina$01877673 701 $aPersson$b Inga$f1945-$01877674 712 12$aArne Ryde Symposium on "Economics of Gender and the Family" 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910963608403321 996 $aWomen's work and wages$94490015 997 $aUNINA