Principles of the Spin Model Checker

ISBN: 9781846287695

出版社: Springer

出版年: 2008-01-07

页数: 216

定价: USD 59.95

装帧: Paperback