| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910464073103321 |
|
|
Titolo |
The Dead Sea scrolls [[electronic resource] ] : transmission of traditions and production of texts / / edited by Sarianna Metso, Hindy Najman, and Eileen Schuller ; editorial assistance, Nicole Hilton ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden ; ; Boston, : Brill, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-283-03939-7 |
9786613039392 |
90-04-19079-1 |
90-04-18584-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (288 p.) |
|
|
|
|
|
|
Collana |
|
Studies on the texts of the desert of Judah, , 0169-9962 ; ; v. 92 |
|
|
|
|
|
|
Altri autori (Persone) |
|
MetsoSarianna |
NajmanHindy |
SchullerEileen M. <1946-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Qumran community |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"This volume originated at a co-organized conference in November of 2009 in Toronto, Ontario. This was in conjunction with the exhibit 'Words that Changed the World' held at the Royal Ontario Museum and co-sponsored by the Israel Antiquities Authority"--Introd., p. xii. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Preliminary Material / S. Metso , H. Najman and E. Schuller -- Tradition And Innovation In The Dead Sea Scrolls / John J. Collins -- Moses Trumping Moses: Making The Book Of Jubilees / James C. VanderKam -- Some Translation And Copying Mistakes From The Original Hebrew Of The Testaments Of The Twelve Patriarchs / James L. Kugel -- Why Nabonidus? Excavating Traditions From Qumran, The Hebrew Bible, And Neo-Babylonian Sources / Carol A. Newsom -- The Emergence Of Aramaic And Hebrew Scholarly Texts: Transmission And Translation Of Alien Wisdom / Mladen Popović -- Shared Traditions: Points Of Contact Between S And D / Charlotte Hempel -- Aspects Of The Physical And Scribal Features Of Some Cave 4 \'Continuous\' Pesharim / George J. Brooke -- Some Thoughts About The Diffusion Of Biblical Manuscripts In Antiquity / Emanuel Tov -- Assessing Emanuel Tov’s \'Qumran |
|
|
|
|
|
|
|
|
|
|
|
Scribal Practice\' / Eibert J. C. Tigchelaar -- The Evolutionary Production And Transmission Of The Scriptural Books / Eugene Ulrich -- Beyond The Sectarian Divide: The \'Voice Of The Teacher\' As An Authority-Conferring Strategy In Some Qumran Texts / Florentino García Martínez -- Index Of Modern Authors / S. Metso , H. Najman and E. Schuller -- Index Of Primary Texts / S. Metso , H. Najman and E. Schuller -- Subject Index / S. Metso , H. Najman and E. Schuller. |
|
|
|
|
|
|
Sommario/riassunto |
|
How were Jewish texts produced and transmitted in late antiquity? What role did scribal practices play in the shaping of both scriptural and interpretive traditions, which are—as the Scrolls show so decisively—intimately intertwined? How were texts assembled from a variety of earlier sources, both oral and written? Why were they often attributed to pseudonymous authors from the remote past such as Moses and David? How did the composers of these texts understand the enterprise in which they were engaged? This volume furthers current debates about Qumran Scribal Practice and the transmission of traditions in Jewish Antiquity. It is published with the conviction that the transmission of traditions and the details of scribal practices—so often treated separately—should be considered in conversation with each other. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483947603321 |
|
|
Titolo |
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings / / edited by Karen Yorav |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 267 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 4899 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Compilers (Computer programs) |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless -- Scaling Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking for Testing -- Hardware Verification -- On the Characterization of Until as a Fixed Point Under Clocked Semantics -- Reactivity in SystemC Transaction-Level Models -- Model Checking -- Verifying Parametrised Hardware Designs Via Counter Automata -- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison -- Dynamic Hardware Verification -- Constraint Patterns and Search Procedures for CP-Based Random Test Generation -- Using Virtual Coverage to Hit Hard-To-Reach Events -- Merging Formal and Testing -- Test Case Generation for Ultimately Periodic Paths -- Dynamic Testing Via Automata Learning -- Formal Verification for Software -- On the Architecture of System Verification Environments -- Exploiting Shared Structure in Software |
|
|
|
|
|
|
|
|
|
|
|
Verification Conditions -- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code Coverage -- GenUTest: A Unit Test and Mock Aspect Generation Tool. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007. The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing. |
|
|
|
|
|
|
|
| |