关注微信公众号查券更方便
【3-4周达】Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, an... [9783031997044]