An introduction to formal program verification

QR Code

An introduction to formal program verification

Bibliografiske detaljer
Hovedforfatter:	Mili, Ali
Format:	Bog
Sprog:	English
Udgivet:	New York Van Nostrand Reinhold c1985.
Fag:	Computer programs > Verification.

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