책 이미지
책 정보
· 제목 : From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Paperback, 2019) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030309848
· 쪽수 : 574쪽
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030309848
· 쪽수 : 574쪽
목차
Software Engineering.- Formal Methods and Tools.- Requirements Engineering.- Natural Language Processing.- Software Product Lines.- Formal Verification.- Applications.
추천도서
분야의 베스트셀러 >