B方法

本书是有关B方法的最重要的著作,由B方法的发明人J-R Abrial撰写。B方法是目前国际上最受重视的实用性软件...

2004.05