01656nam0 2200349 i 450 SUN011547320180313091055.750.00N978-94-6239-204-520180309d2016 |0engc50 baengNL|||| |||||*Type systems for distributed programscomponents and sessionsOrnela Dardha[Amsterdam] : Atlantis, 2016XXII192 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01043642001 *Atlantis Studies in Computing7210 ParisAtlantis2012-.68-XXComputer science [MSC 2020]MFSUNC01967068Q60Specification and verification (program logics, model checking, etc.) [MSC 2020]MFSUNC02455068M14Distributed systems [MSC 2020]MFSUNC02769568N19Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020]MFSUNC02860668Q85Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020]MFSUNC031034AmsterdamSUNL001716Dardha, OrnelaSUNV089395756122AtlantisSUNV008721650ITSOL20200928RICAhttp://dx.doi.org/10.2991/978-94-6239-204-5SUN0115473BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2577 15EB 2577 20180309 Type systems for distributed programs1523709UNICAMPANIA02247nam 2200517 a 450 991096992710332120251117115846.00-87462-376-6(CKB)1000000000002177(SSID)ssj0000278730(PQKBManifestationID)11222998(PQKBTitleCode)TC0000278730(PQKBWorkID)10246338(PQKB)11298337(MiAaPQ)EBC3017052(Au-PeEL)EBL3017052(CaPaEBR)ebr2001923(OCoLC)70764669(EXLCZ)99100000000000217719950109d1993 uy 0engurcn|||||||||txtccrDirections in New Testament methods /edited by Martin C. Albl, Paul R. Eddy, Renee Mirkes ; foreword by William S. Kurz1st ed.[Milwaukee, Wis.] Marquette University Press1993viii, 129 p. portMarquette studies in theology ;#2Published essays by beginning doctoral students, Marquette University.0-87462-626-9 Includes bibliographical references (p. [99]-125).Intro -- TABLE -- CONTENTS -- ABBREVIATIONS -- FOREWORD -- INTRODUCTION -- TEXTUAL CRITICISM -- ÏTHE DESOLATING SACRILEGEÓ -- THE LITERARY INDEPENDENCE -- FORM CRITICISM -- THE MATTHEAN AUTHORÌS -- ABRAHAM -- CHRISTIAN -- HELLENISTIC -- MORAL EXHORTATION: A LITERARY COMPARISON BASED 1 THESSALONIANS 4 -- THE TREATISE -- RESURRECTION -- CORINTHIANS 15 -- A RHETORICAL ANALYSIS -- NARRATIVE CRITICISM: -- PAULINE ADAPTATION -- EPISTOLARY -- CONVENTIONS -- PHILIPPIANS 3:2-4:1 -- PSEUDONYMITY AUTHENTIC -- AN INTRODUCTION -- SOCIAL -- SCIENTIFIC APPROACH -- SCRIPTURE -- WORKS CITED -- ANNOTATED BIBLIOGRAPHY -- BIOGRAPHICAL SKETCHES.Marquette studies in theology ;#2.225.6/6Albl Martin C475426Eddy Paul Rhodes1891034Mirkes Renée1869341MiAaPQMiAaPQMiAaPQBOOK9910969927103321Directions in New Testament methods4533538UNINA