Quick view Compare Choose Options Brand: Springer Constructing Predictable Real Time Systems (The Springer International Series in Engineering and Computer Science) MSRP: Was: Now: $216.18 - $252.05 Quick view Compare Choose Options
Quick view Compare Choose Options Brand: Springer 4: Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) MSRP: Was: Now: $288.44 - $327.65 Quick view Compare Choose Options