Specifying Systems
Bokus
TLA+ represents the only effective methodology I've seen for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers." --Brannon Batson, Processor Architect, Intel Corporation This long-awaited...
482.00 kr
