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

热门

  • 还没人写过短评呢

<< 首页 < 前页 后页 >

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

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
作者: Bjorner, Dines (EDT)/ Henson, Martin C. (EDT)
isbn: 3540741062
书名: Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
页数: 623
定价: USD 119.00
出版社: Springer
装帧: Hardcover
出版年: 2007-12-20