{ "item_title" : "Principled Software Development", "item_author" : [" Peter Müller", "Ina Schaefer "], "item_description" : "Smart Contracts - A Killer Application for Deductive Source Code Verification.- A Methodology for Invariants, Framing, and Subtyping in JML.- Trends in Relational Program Verification.- Collaborative work management with a highly-available Kanban board.- A Case for Certifying Compilers in Industrial Automation.- Compositional Semantics for Concurrent Object Groups in ABS.- Same Same But Different: Interoperability of Software Product Line Variants.- A Hoare Logic Contract Theory An Exercise in Denotational Semantics.- Towards Reliable Concurrent Software.- Dynamic Software Updates and Context Adaptation for Distributed Active Objects.- Using CSP to Develop Quality Concurrent Software.- Modular Verification Scopes via Export Sets and Translucent Exports.- The Binomial Heap Verification Challenge in Viper.- Abstract and Concrete Data Types vs Object Capabilities.- A Personal History of Delta Modelling.- Are Synchronous Programs Logic Programs?.- Illi Isabellistes Se Custodes Egregios Praestabant.- Reasoning about Weak Semantics via Strong Semantics.- Recipes for Coffee - Compositional Construction of JAVA Control Flow Graphs in GROOVE.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/31/998/046/3319980467_b.jpg", "price_data" : { "retail_price" : "109.99", "online_price" : "109.99", "our_price" : "109.99", "club_price" : "109.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