DaftarIsitemplate |
Call Number |
SK-2439 (Softcopy SK-1921) Source code 869 |
Title |
Pemanfaatan Prusti untuk Memverifikasi Bahasa Pemrograman Rust |
Author |
Al Ghifari Enerza Sentanu; |
Publisher |
Depok: Fasilkom UI, 2024 |
Subject |
Bahasa Pemrograman Rust |
Location |
FASILKOM-UI; |