LEADER 01364oam 2200385I 450 001 9910713455303321 005 20240122190310.0 035 $a(CKB)5470000002501100 035 $a(OCoLC)1152156183 035 $a(EXLCZ)995470000002501100 100 $a20200427d2020 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFamilies First Coronavirus Response Act $eemployee paid leave rights /$fWage and Hour Division, United States Department of Labor 210 1$a[Washington, D.C.] :$cUnited States Department of Labor, Wage and Hour Division,$d2020. 215 $a1 online resource (2 pages) 300 $a"Current as of 3/2020"--Page 1. 517 $aFamilies First Coronavirus Response Act 606 $aCOVID-19 (Disease) 606 $aSick leave$xLaw and legislation$zUnited States 606 $aFamily leave$xLaw and legislation$zUnited States 615 0$aCOVID-19 (Disease) 615 0$aSick leave$xLaw and legislation 615 0$aFamily leave$xLaw and legislation 712 02$aUnited States.$bDepartment of Labor.$bWage and Hour Division, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910713455303321 996 $aFamilies First Coronavirus Response Act$93488448 997 $aUNINA LEADER 03466nam 22005895 450 001 9910483674103321 005 20251225173443.0 010 $a3-030-73785-3 024 7 $a10.1007/978-3-030-73785-6 035 $a(CKB)4100000011881210 035 $a(MiAaPQ)EBC6547228 035 $a(Au-PeEL)EBL6547228 035 $a(OCoLC)1246172436 035 $a(DE-He213)978-3-030-73785-6 035 $a(PPN)25528943X 035 $a(EXLCZ)994100000011881210 100 $a20210410d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecent Trends in Algebraic Development Techniques $e25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /$fedited by Markus Roggenbach 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (ix, 165 pages) $cillustrations 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12669 311 08$a3-030-73784-5 327 $aInvited Paper -- On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) -- Contributed Papers -- The wheel of rational numbers as an abstract data type -- Towards General Axiomatizations for Bisimilarity and Trace Semantics -- Monographs, a Category of Graph Structures -- Parallel Coherent Graph Transformations -- K and KIV: Towards Deductive Verification for Arbitrary Programming Languages -- Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS -- Structure-Preserving Diagram Operators. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12669 606 $aComputer science 606 $aMachine theory 606 $aComputer programming 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer programming. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 676 $a005.1 702 $aRoggenbach$b Markus 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483674103321 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNINA