60 元券9783030837228VerificationApplicationsValidation¥4600去看看中国国际图书专营店发布了【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228