PUSTAKA / Buku / English
Software Foundations
Menjelaskan kebenaran program dengan bukti.
Gambaran bacaan
Seri ini menghubungkan pemrograman fungsional, logika dan pembuktian dengan proof assistant. Logical Foundations menjadi titik masuk sebelum volume tentang bahasa, algoritma dan keamanan. Materinya lebih abstrak daripada tutorial aplikasi dan cocok dipelajari perlahan.
Kapan cocok dibaca dan mulai dari mana?
Mulai ketika ingin memahami perbedaan pengujian contoh dan pembuktian sifat. Kerjakan latihan logika awal; jangan melompati langkah hanya karena hasil akhir tampak masuk akal.
Akses dan sumber asli
Volume tersedia di situs proyek. Ikuti kebutuhan versi Rocq pada volume yang dipilih.
Buka sumber asli ↗Pengantar editorial IFUIX. Metadata dan tautan halaman sumber diperiksa . Ini pengantar untuk memilih bacaan; bukan ulasan seluruh isi atau terjemahan karya. Ketersediaan dan ketentuan mengikuti sumber.
Cari judul dan penulis di Google ↗