LEADER 03903nam 22006975 450 001 996465913403316 005 20200630134659.0 010 $a3-319-67113-8 024 7 $a10.1007/978-3-319-67113-0 035 $a(CKB)3710000001631292 035 $a(DE-He213)978-3-319-67113-0 035 $a(MiAaPQ)EBC5577117 035 $a(PPN)204533600 035 $a(EXLCZ)993710000001631292 100 $a20170824d2017 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 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18?20, 2017, Proceedings /$fedited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 235 p. 52 illus.) 225 1 $aProgramming and Software Engineering ;$v10471 300 $aIncludes index. 311 $a3-319-67112-X 327 $aAutomated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. 330 $aThis book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques. 410 0$aProgramming and Software Engineering ;$v10471 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aMathematical logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 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$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aMathematical logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aMathematical Logic and Formal Languages. 676 $a004.0151 702 $aPetrucci$b Laure$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeceleanu$b Cristina$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCavalcanti$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465913403316 996 $aCritical Systems: Formal Methods and Automated Verification$92830202 997 $aUNISA LEADER 04047nam 2200589 450 001 9910815258003321 005 20230116104100.0 010 $a9780300244793$b(electronic book) 010 $a0-300-24479-7$b(electronic book) 010 $a9780300126280$b(hardback) 024 7 $a10.12987/9780300244793 035 $a(CKB)4100000007590783 035 $a(MiAaPQ)EBC5662515 035 $a(DE-B1597)521964 035 $a(OCoLC)1110714221 035 $a(DE-B1597)9780300244793 035 $a(MiAaPQ)EBC7024243 035 $a(Au-PeEL)EBL7024243 035 $a(PPN)263616681 035 $a(EXLCZ)994100000007590783 100 $a20230116d2018 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 181 $2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHot Protestants $ea history of Puritanism in England and America /$fMichael P. Winship 210 1$aNew Haven ;$aLondon :$cYale University Press,$d[2018] 210 4$dİ2018 215 $a1 online resource (379 pages) ;$cillustrations (black and white) 311 $a0-300-12628-X 320 $aIncludes bibliographical references and index. 327 $aPART I: Rise and Retreat, c. 1540--c. 1630 -- 1. The Seeds of Puritanism -- 2. Proto-Puritans in Exile -- 3. The Birth Pangs of Puritan England -- 4. The Elizabethan Puritan Political Movement -- 5. The Puritan Path to Heaven -- 6. Taming Puritanism -- 7. The Lure of the Atlantic -- PART II: Reformations, c. 1630--c. 1660 -- 8. John Cotton Comes to Massachusetts -- 9. Protestant Reformation and Counter-Reformation in the 1630s -- 10. A Miraculous Year Goes Bad -- 11. The Wobbly Rise and Precipitous Collapse of Presbyterian England -- 12. Shaking out Antichrist in the 1650s -- 13. Consolidating Reformation in New England -- 14. Old England's Corruptions Come to New England -- 15. Waban's Reformation -- PART III: Twilight, c. 1660--c. 1689 -- 16. English Puritanism under Persecution -- 17. English Puritanism Goes Public Again -- 18. Religious Pluralism Comes to Puritan New England -- 19. New England's Reformations Come of Age -- 20. New England's Puritan Autonomy Ends -- PART IV: Endings, 1689--1690s -- 21. Hopes Raised and Dashed -- 22. The Final Parting of the Ways for English Puritans -- 23. A Godly Massacre of the Innocents in Post-Puritan Massachusetts. 330 $aAn innovative and compelling study of puritanism that follows the full sweep of the movement's history in England and America Begun in the mid-sixteenth century by Protestant nonconformists keen to reform England's church and society while saving their own souls, the puritan movement was a major catalyst in the great cultural changes that transformed the early modern world. Providing a uniquely broad transatlantic perspective, this groundbreaking volume traces puritanism's tumultuous history from its initial attempts to reshape the Church of England to its establishment of godly republics in both England and America and its demise at the end of the seventeenth century.   Shedding new light on puritans whose impact was far-reaching as well as on those who left only limited traces behind them, Michael Winship delineates puritanism's triumphs and tribulations and shows how the puritan project of creating reformed churches working closely with intolerant godly governments evolved and broke down over time in response to changing geographical, political, and religious exigencies. 606 $aPuritans$xHistory 606 $aPuritans$zEngland$xHistory 606 $aPuritans$zUnited States$xHistory 608 $aHistory.$2fast 608 $aHistory.$2lcgft 615 0$aPuritans$xHistory. 615 0$aPuritans$xHistory. 615 0$aPuritans$xHistory. 676 $a251.0082859 700 $aWinship$b Michael P$g(Michael Paul),$01135928 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910815258003321 996 $aHot Protestants$94077107 997 $aUNINA