책 이미지
책 정보
· 제목 : Mechanical Verification of Parameterized Real-Time Systems (Paperback) 
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9783838134604
· 쪽수 : 240쪽
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9783838134604
· 쪽수 : 240쪽
추천도서
분야의 베스트셀러 >