25 Years of Model Checking

副标题: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

ISBN: 9783540698494

出版社: Springer

出版年: 2008-07-18

页数: 230

定价: USD 39.95

装帧: Paperback