First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
De som köpt den här boken har ofta också köpt Brave New Words av Salman Khan (inbunden).
Köp båda 2 för 1050 kr(In-)formal methods: The Lost Art.- Program refinement, perfect secrecy and information flow.- The Z Notation: Whence the Cause and Whither the Course?.- Model-Driven Design of Object and Component Systems.- Cyber-Physical Systems Engineering.- Combining Formal and Informal Methods in the Design of Spacecrafts.