| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910466867003321 |
|
|
Autore |
Demacopoulos George E. |
|
|
Titolo |
Gregory the Great : ascetic, pastor, and first man of Rome / / George E. Demacopoulos |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Notre Dame, Indiana : , : University of Notre Dame Press, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-268-15836-3 |
0-268-07786-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (247 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 221-231) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Acknowledgments; Introduction; Part One: Gregory as Ascetic Theologian; Chapter One: A Theology of Asceticism; Chapter Two: Fall, Redemption, and the Ascetic's Filter; Chapter Three: Ecclesiology and the Rhetoric of Episcopal Equality; Chapter Four: Some Mystical Attributes of Gregory's Ascetic Theology; Part Two: Gregory as Pastoral Theologian; Chapter Five: The Importance of Spiritual Leadership; Chapter Six: The Recruitment of Leaders; Chapter Seven: The Tasks of the Spiritual Leader; Chapter Eight: The Impediments to Effective Leadership |
Part Three: Gregory as "First Man" of RomeChapter Nine: The Rome of Gregory's Imagination; Chapter Ten: Ever the Praefect; Chapter Eleven: Gregory's Ascetic Program and Its Opponents; Chapter Twelve: Prefect of the Roman Church; Chapter Thirteen: Spreading Christianity beyond the Roman World; Chapter Fourteen: The Steward of Peter's Tomb; Conclusion; Abbreviations; Notes; Bibliography; Index |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996210523003316 |
|
|
Titolo |
Hardware and Software: Verification and Testing [[electronic resource] ] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings / / edited by Eran Yahav |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 302 p. 78 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 8855 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Artificial intelligence |
Mathematical logic |
Computer communication systems |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures -- Enhancing Scenario Quality Using Quasi-Events -- Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification -- Generating Modulo-2 Linear Invariants for Hardware Model Checking -- Suraq — A Controller Synthesis Tool Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements -- Automatic Error Localization for Software Using Deductive Verification -- Generating |
|
|
|
|
|
|
|
|
|
|
|
JML Specifications from Alloy Expressions -- Assume-Guarantee Abstraction Refinement Meets Hybrid Systems -- Handling TSO in Mechanized Linearizability Proofs -- Partial Quantifier Elimination -- Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study -- A Framework to Synergize Partial Order Reduction with State Interpolation -- Reduction of Resolution Refutations and Interpolants via Subsumption -- Read, Write and Copy Dependencies for Symbolic Model Checking -- Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams -- Formal Verification of Secure User Mode Device Execution with DMA -- Supervisory Control of Discrete-Event Systems via IC3 -- Partial-Order Reduction for Multi-core LTL Model Checking -- A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. |
|
|
|
|
|
|
|
| |