{ "item_title" : "Theories of Programming and Formal Methods", "item_author" : [" Zhiming Liu", "Jim Woodcock", "Huibiao Zhu "], "item_description" : "Set-Theoretic Models of Computations.- Model-Based Mutation Testing of Reactive Systems: From Semantics to Automated Test-Case Generation.- Pliant Modalities in Hybrid Event-B.- A Relational Approach to an Algebraic Community: From Paul Erd˝os to He Jifeng.- Practical Theory Extension in Event-B.- Simulink Timed Models for Program Verification.- Concept Analysis Based Approach to Statistical Web Testing.- Algebraic Program Semantics for Supercomputing.- Modeling and Specification of Real-Time Interfaces with UTP.- Some Fixed-Point Issues in PPTL.- The Value-Passing Calculus.- Proving Safety of Traffic Manoeuvres on Country Roads.- Generic Models of the Laws of Programming.- Ours Is to Reason Why.- Optimal Bounds for Multiweighted and Parametrised Energy Games.- On the Relationship between LTL Normal Forms and B Nuchi Automata.- Managing Environment and Adaptation Risks for the Internetware Paradigm.- Safety versus Security in the Quality Calculus.- Invariants Synthesis over a Combined Domain for Automated Program Verification.- Slow Abstraction via Priority.- Performance Estimation Using Symbolic Data.- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.- Graph-Based Object-Oriented Hoare Logic.- Towards a Modeling Language for Cyber-Physical Systems.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/64/239/697/3642396976_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.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