关注微信公众号查券更方便
【4周达】Programmverifikation : Sequentielle, parallele und verteilte Programme [9783540574798]