80 元券9780471704492Verification印刷Petri¥16330去看看上海外文图书音像专营店发布了按需印刷LOTOS Petri Net Verification[9780471704492]25 元券9780471704492VerificationCircuitsSystems¥13760去看看澜瑞图书专营店发布了【4周达】Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs [Wiley计算机] [9780471704492]