Title:
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author:
Codescu, Mihai. editor.
ISBN:
9783319281148
Edition:
1st ed. 2015.
Physical Description:
XI, 171 p. 35 illus. in color. online resource.
Series:
Theoretical Computer Science and General Issues, 9463
Contents:
On Logic Embeddings and Gödel's God -- An Institutional Foundation for the K Semantic Framework -- A Theoretical Foundation for Programming Languages Aggregation -- Coalgebraic Semantics of Heavy-Weighted Automata -- Foundations of Logic Programming in Hybridised Logics -- What Is a Derived Signature Morphism? -- Use Case Analysis Based on Formal Methods: An Empirical Study -- A Full Operational Semantics for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-28114-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 519139-1001 | XX(519139.1) | Searching... | Searching... |