Tags
第 2 頁
Programming-Languages
一行程式碼都不執行，為什麼能證明程式「絕對沒有Bug」？形式化驗證與模型檢測的科學
程式語言的歷史與典範的演進（從組合語言、C、Java 到 Rust、Go）
