作者:AaronR.Bradley/ZoharManna出版社:Springer副标题:DecisionProcedureswithApplicationstoVerification出版年:2007-10-12