Assertion-based Design

作者: Harry Foster / David Lacey / Adam Krolnik
出版社: Kluwer Academic Pub
页数: 414
定价: 135
装帧: HRD
ISBN: 9781402080272