DaftarIsitemplate

Call Number

005.14 Loe f

Title

The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber

Author

Loeckx, Jacques;

Publisher

Wiley - Teubner Series in Computer Science, 1984

Subject

Computer program-verification

Location