{ "item_title" : "Recent Trends in Algebraic Development Techniques", "item_author" : [" Mihai Codescu", "Răzvan Diaconescu", "Ionuț Țuțu "], "item_description" : "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.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/31/928/113/3319281135_b.jpg", "price_data" : { "retail_price" : "44.99", "online_price" : "44.99", "our_price" : "44.99", "club_price" : "44.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details