VERIFIABLE PROGRAMMING /
DAHI, OLE-JOHAN
VERIFIABLE PROGRAMMING / DAHI, OLE-JOHAN - [S.N] : PRENTICE HALL ، 1992 - 269 P
COMPUTER PROGRM
VERIFICATION
005.1 / D V
VERIFIABLE PROGRAMMING / DAHI, OLE-JOHAN - [S.N] : PRENTICE HALL ، 1992 - 269 P
COMPUTER PROGRM
VERIFICATION
005.1 / D V

