책 이미지
eBook 미리보기
책 정보
· 제목 : Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Paperback)
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9783031098260
· 쪽수 : 127쪽
· 출판일 : 2022-06-22
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9783031098260
· 쪽수 : 127쪽
· 출판일 : 2022-06-22
목차
Formal Analysis and Proofs.- Effective Testing.
