Symbolic Model Checking

ISBN: 9780792393801

出版社: Kluwer Academic

出版年: 1993-07-31

定价: USD 125.00

装帧: Hardcover