책 이미지
eBook 미리보기
책 정보
· 제목 : Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers (Paperback, 2017)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9783319542911
· 쪽수 : 107쪽
· 출판일 : 2017-02-17
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9783319542911
· 쪽수 : 107쪽
· 출판일 : 2017-02-17
목차
Verification and validation of global properties,.- Implementation of numerical techniques on modern hardware.- Development and analysis of cyber-physical systems (CPS).
