Verified Software

作者: Natarajan Shankar / Jim Woodcock
出版社: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
副标题: Theories, Tools, Experiments
页数: 275
定价: 611.00元
ISBN: 9783540878728