An introduction to formal program verification

QR Code

An introduction to formal program verification

Détails bibliographiques
Auteur principal:	Mili, Ali
Format:	Livre
Langue:	English
Publié:	New York Van Nostrand Reinhold c1985.
Sujets:	Computer programs > Verification.

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