Omslagsbillede

Program verification

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