본문 바로가기
숨터 가볍게 읽는 공간
이미지 차단
전체 베스트 최근
← programming 게시판

Formal verification

발명도둑잡기(aerohong) 2025-04-13 12:19 추천 0

https://en.m.wikipedia.org/wiki/Formal_verification

금값이 치솟는 진짜 이유, 그리고 달러의 최대 위기 (박종연) https://youtu.be/JJdt4o5eg1o

댓글 1

  • 오 왠일로 코딩얘기하냐

    박민준(u123456) 2025-04-13 12:43

다른 게시글

  • 자바나 C#이나 구인 또이또이인데 ㅇㅅㅇ? [6]
    강유현(county9484) | 25.04.13
    추천 0
  • 찢죄명 꿈나무 ㄷㅅㄷ
    ♥냥덩소프..(re2002) | 25.04.13
    추천 0
  • 친중매국수괴 리죄명 개딸의 사기조작행위 ㅋㅅㅋ
    ♥냥덩소프..(re2002) | 25.04.13
    추천 0
  • 정보) C#과 C/C++은 이름만 비슷하다 ㅇㅅㅇ [11]
    강유현(county9484) | 25.04.13
    추천 0
  • 파인만이 공부하는법 알려줬는데 이거 리얼진실이냐?? [2]
    익명(223.38) | 25.04.13
    추천 0
  • 한시간 전에 NetBSD 공식문서 봤다
    발명도둑잡..(aerohong) | 25.04.13
    추천 0
  • 뭔 sqld도 업는것들이 프로그래밍이냐 ㅋㅋㅋ [1]
    익명(89.147) | 25.04.13
    추천 0
  • 난 공식문서 안읽는다 이기 [8]
    슈퍼막코더(126.156) | 25.04.13
    추천 0
  • 나님의 국적은 ”지구“ 입니당❤️
    ♥냥덩소프..(walkrunmoney4) | 25.04.13
    추천 0
  • 국비가 국가비밀요원 줄임말인거 니들 몰랐냐 ㅇㅅㅇ?
    강유현(county9484) | 25.04.13
    추천 0
목록으로
읽기 전용 미러