나의 도서관정보
대출도서
건
연체도서
건
미납연체료
원
예약도서(대출가능)
건
닫기
알림ㆍ문의
공지사항
Q&A
FAQ
전화ㆍ이메일 문의
LOGIN
ENG
메뉴
검색
전자자료
도서관서비스
연구학습지원
My Library
도서관안내
소장자료검색
소장자료
학위논문
Collections
학술논문(e-Articles)
통합검색
전자저널
전자도서
데이터베이스
도서구입신청
원문복사신청
상호대차신청
타도서관이용신청
학위논문제출
도서관이용교육
연구윤리가이드
논문작성/표절예방/OA
주의해야 할 학회/학술지
DMP작성지원
기관논문비교분석(SelCA)
RIMS/RIMS Discovery
KAIST Scholar
교외접속서비스
대출연장/예약조회
연체료결제
서비스신청결과조회
My Shelf
도서관이용
대출/반납/연장/예약
이용자별안내
층별/시설안내
연구비구입도서등록
도서관소개
이용시간/위치
조직/직원
통계/규정
소장자료검색
학술논문(e-Articles)
통합검색
소장자료
학위논문
Collections
미리보기
서지주요정보
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / [electronic resource]
서명 / 저자
Tests and Proofs
[electronic resource] :
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings /
edited by Virgile Prevosto, Cristina Seceleanu.
판사항
1st ed. 2023.
발행사항
Cham :
Springer Nature Switzerland :
Imprint: Springer,
2023.
총서명
Lecture Notes in Computer Science, 1611-3349 ; 14066
Online Access
https://doi.org/10.1007/978-3-031-38828-6
URL
서지기타정보
서지기타정보
청구기호
BC177
형태사항
XXII, 187 p. 65 illus., 17 illus. in color. online resource.
언어
English
내용
Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement.
주제
Reasoning.
Computer science.
Informal Logic.
Models of Computation.
보유판 및 특별호 저록
Springer Nature eBook
Printed edition: 9783031388279 Printed edition: 9783031388293
ISBN
9783031388286
기타 표준번호
10.1007/978-3-031-38828-6
QR CODE
책소개
전체보기
목차
전체보기
청구기호 Browsing (유사한 주제의 도서 정보를 브라우징 할 수 있습니다.)
(일상의 무기가 되는) 논리 수업 : 세상의 교묘한 말들로부터 나를 지키는 61가지 논리 도구들
Withey, Michael
BC175 .W5826 2020
변호사 논증법 : 논쟁에서 이기기 위한 4가지 실전 논리
최훈
BC175 최693ㅂ
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / [electronic resource]
Prevosto, Virgile
BC177
Argumentation and education theoretical foundations and practices / [electronic resource]
Muller Mirza, Nathalie
BC177 .A694 2009
The upside of irrationality : the unexpected benefits of defying logic
Ariely, Dan
BC177 .A77 2011
이 주제의 인기대출도서