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
• 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.