책 이미지
eBook 미리보기
책 정보
· 제목 : Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 2019)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030176006
· 쪽수 : 237쪽
· 출판일 : 2019-04-14
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030176006
· 쪽수 : 237쪽
· 출판일 : 2019-04-14
목차
An Introduction to Software Verification with Whiley.- Learning Buchi Automata and Its Applications.- Securing Emergent IoT Applications.- Programming Z3.- The Impact of Alan Turing: Formal Methods and Beyond.
