Tags
2 페이지
Programming-Languages
프로그램을 단 한 번도 실행하지 않고 어떻게 '버그가 절대 없음'을 증명하는가: 형식 검증과 모델 체킹의 과학
프로그래밍 언어의 역사와 패러다임의 변천 (어셈블리, C, Java에서 Rust, Go까지)
