Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers. (2015)
- Record Type:
- Book
- Title:
- Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers. (2015)
- Main Title:
- Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers
- Other Titles:
- WADT 2014
- Further Information:
- Note: Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.).
- Editors:
- Codescu, Mihai
Diaconescu, Răzvan
Tutu, Ionut - Other Names:
- WADT (Workshop), 22nd
- 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.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2015
- Extent:
- 1 online resource, illustrations
- Subjects:
- 005.1
Computer science
Computer software -- Development -- Congresses
Computer science -- Mathematics -- Congresses
Formal methods (Computer science) -- Congresses
Computer science -- Mathematics
Computer software -- Development
Formal methods (Computer science)
Mathematics -- Logic
Computers -- Data Processing
Computers -- Software Development & Engineering -- General
Computers -- Machine Theory
Mathematical theory of computation
Software Engineering
User interface design & usability
Mathematical foundations
Logic design
Software engineering
Logic, Symbolic and mathematical
Computers -- Programming -- General
Computer programming / software development
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319281148
3319281143
3319281135
9783319281131 - Related ISBNs:
- 9783319281131
- Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed January 7, 2016). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.347893
- Ingest File:
- 01_302.xml