关注微信公众号查券更方便
【4周达】Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic [9783642069475]