DaftarIsitemplate

Call Number

SK-0875 (Softcopy SK-357) SCSK-Analisa

Title

Eksplorasi formalisasi TLA+dalam theorem prover Hol

Author

Iis Solichah;

Publisher

Depok: Fasilkom UI, 2010

Subject

Theorem prover

Location

FASILKOM-UI;