关注微信公众号查券更方便
【3-4周达】精装 Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 J... [9780792379683]