책 이미지
eBook 미리보기
책 정보
· 제목 : Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re (Paperback, 2020)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783030575052
· 쪽수 : 277쪽
· 출판일 : 2020-09-10
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783030575052
· 쪽수 : 277쪽
· 출판일 : 2020-09-10
목차
Software Engineering.- Software Technologies.- Model-Driven Engineering.- Formal Methods.
