Program verification

Bibliografiske detaljer
Hovedforfatter:	Francez, Nissim
Format:	Bog
Udgivet:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Fag:	Computer software > Verification. Programming.

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