22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 883 krOn Logic Embeddings and Gdels 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.