LEADER 01551nam 2200361Ia 450 001 996387032503316 005 20200824132158.0 035 $a(CKB)4940000000076791 035 $a(EEBO)2240947860 035 $a(OCoLC)ocm12369646e 035 $a(OCoLC)12369646 035 $a(EXLCZ)994940000000076791 100 $a19850809d1690 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 02$aA sermon preached before the honourable House of Commons, at St. Margaret's Westminster, on Wednesday the fifth of November, 1690$b[electronic resource] $ebeing the anniversary thanksgiving for the happy deliverance of King James the First, and three estates of the realm, from the Gunpowder-treason : and also for the happy arrival of His present Majesty on this day, for the deliverance of our church and nation from Popery and arbitrary power /$fby Sa. Freeman .. 210 $aLondon $cPrinted for Ric. Chiswell ...$d1690 215 $a[4], 30, [1] p 300 $aReproduction of original in Huntington Library. 330 $aeebo-0113 606 $aSermons, English$y17th century 606 $aGunpowder Plot, 1605 615 0$aSermons, English 615 0$aGunpowder Plot, 1605. 700 $aFreeman$b Samuel$f1643-1700.$0817598 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996387032503316 996 $aA sermon preached before the honourable House of Commons, at St. Margaret's Westminster, on Wednesday the fifth of November, 1690$92347300 997 $aUNISA LEADER 05159nam 22007095 450 001 9910483587803321 005 20251226195234.0 010 $a3-662-49665-8 024 7 $a10.1007/978-3-662-49665-7 035 $a(CKB)3710000000627385 035 $a(SSID)ssj0001658389 035 $a(PQKBManifestationID)16442049 035 $a(PQKBTitleCode)TC0001658389 035 $a(PQKBWorkID)14985991 035 $a(PQKB)11581616 035 $a(DE-He213)978-3-662-49665-7 035 $a(MiAaPQ)EBC5585489 035 $a(PPN)192771892 035 $a(EXLCZ)993710000000627385 100 $a20160330d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering $e19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /$fedited by Perdita Stevens, Andrzej W?sowski 205 $a1st ed. 2016. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2016. 215 $a1 online resource (XIII, 436 p. 127 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9633 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-662-49664-X 320 $aIncludes bibliographic references and index. 327 $aThe Death of Object-Oriented Programming -- Concurrent and Distributed Systems Automated Choreography Repair -- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs -- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters -- Integrated environment for verifying and running distributed components -- Model-Driven Development -- Iterative and incremental model generation by logic solvers -- Automated Model Merge by Design Space Exploration -- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules -- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories -- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models -- Analysis and Bug Triaging -- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices -- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs -- Modeling and Abstraction of Memory Management in a Hypervisor -- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment -- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems -- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems -- Family-Based Modeling and Analysis for Probabilistic Systems ? Featuring ProFeat -- Statistical model checking of e-Motions domain-specific modeling languages -- Proof and Theorem Proving -- Towards Formal Proof Metrics -- Reduction Rules for Colored Workflow Nets -- Many-valued Institutions for Constraint Specification -- CafeInMaude: a CafeOBJ interpreter in Maude -- Verification -- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique -- Hybrid Session Verification through Endpoint API Generation -- PVAIR: Partial Variable Assignment InterpolatoR. . 330 $aThis book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9633 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a005.1 702 $aStevens$b Perdita$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aW?sowski$b Andrzej$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483587803321 996 $aFundamental Approaches to Software Engineering$9771913 997 $aUNINA