Program verification

Program verification

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Francez, Nissim
Formáid: LEABHAR
Foilsithe / Cruthaithe: Wokingham, Eng. Addison-Wesley Pub. c1992.
Ábhair:
Computer software > Verification.
Programming.