| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996394645903316 |
|
|
Autore |
Moore Thomas, Senior |
|
|
Titolo |
A treatise of the person of Christ [[electronic resource] ] : and therein, a discourse about the knowledge of God, who and what a one He is. Of the Son of God, who and what a one He is. Of the first promise of Christ, & first publication of the mystery of Him. Of the times and years of the first fathers, &c. Of the account of years, from the creation to the flood, and from both to the first coming of Christ, and probably to His second coming. Of the evidences demonstrating that Jesus is the Christ. Of the mystery of Christ, as revealed since His first coming. Of election. By Thomas Moore, Senior |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed by J. C. for Livewel Chapman, at the Crown in Popes-head-Alley, 1657 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title words "of God, .. Of election." joined by left brace. |
With a final errata leaf. |
Text apparently continuous despite pagination; register lacking quires Aa-Bbâ´. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466453903316 |
|
|
Titolo |
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers / / edited by José Luiz Fiadeiro, Ionuț Țuțu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 175 p. 849 illus., 7 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11563 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Role-based Development of Dynamically Evolving Esembles -- Parameterized Strategies Specication in Maude -- An Algebraic Theory for Data Linkage -- Institutions for SQL Database Schemas and Datasets -- Finite Limits and Anti-Unication in Substitution Categories -- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs -- Term Charters -- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories -- Structuring Theories with Implicit Morphisms. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state |
|
|
|
|
|
|
|
|
|
|
machines, neuralsymbolic integration, relational databases, and service-oriented computing. |
|
|
|
|
|
| |