Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
ISBN: 9783540741060
出版社: Springer
出版年: 2007-12-20
页数: 623
定价: USD 119.00
装帧: Hardcover
ISBN: 9783540741060
出版社: Springer
出版年: 2007-12-20
页数: 623
定价: USD 119.00
装帧: Hardcover