DaftarIsitemplate

Call Number

SK-0331

Title

Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena

Author

Eva Magdalena M.;

Publisher

Depok: Fasilkom UI, 1997

Subject

Location

FASILKOM-UI;