You are here
Back to topEngineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Lecture Notes in Computer Science #1117) (Paperback)
$71.49
Usually Ships in 1-5 Days
Description
A Guide to Rely/Guarantee Thinking.- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.- Formalizing Hoare Logic in PVS.- Modeling Concurrency in Dafny.- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update.- Challenges for Formal Semantic Description: Responses from the Main Approaches.