关注微信公众号查券更方便
【3-4周达】Modellierung verteilter Systeme : Konzeption, Formale Spezifikation und Verifikation mit P... [9783528054335]