Preliminary Analysis of Isabelle Proof Assistant in Graph Programming Verification with GP2 - Dalam bentuk pengganti sidang - Artikel Jurnal

Koleksi

Katalog

Preliminary Analysis of Isabelle Proof Assistant in Graph Programming Verification with GP2 - Dalam bentuk pengganti sidang - Artikel Jurnal
23.04.7173 - MARTIN HUTAPEA

Barcode

23.04.7173-1

Kondisi

Tersedia

Tanggal masuk

13 November 2023

Informasi Koleksi

Unit

Asal penerimaan

Sumbangan

Pemasok

Universitas Telkom, Fakultas Informatika

Harga pembelian

Jenis katalog

Karya Ilmiah - Skripsi (S1) - Reference

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali