关注微信公众号查券更方便
【4周达】Formale Modelle Der Softwareentwicklung: Model-Checking, Verifikation, Analyse Und Simulation [9783834806697]