Program verification

书目详细资料
主要作者:	Francez, Nissim
格式:	图书
出版:	Wokingham, Eng. Addison-Wesley Pub. c1992.
主题:	Computer software > Verification. Programming.

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman