Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

ISBN: 9783540741060

出版社: Springer

出版年: 2007-12-20

页数: 623

定价: USD 119.00

装帧: Hardcover