책 이미지

eBook 미리보기
책 정보
· 제목 : Formal Methods for Software Engineering : Languages, Methods, Application Domains (Paperback) 
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783030388010
· 쪽수 : 554쪽
· 출판일 : 2022-06-23
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783030388010
· 쪽수 : 554쪽
· 출판일 : 2022-06-23
저자소개
추천도서
분야의 베스트셀러 >