책 이미지
eBook 미리보기
책 정보
· 제목 : Reliable Software Technologies - ADA-Europe 2014: 19th ADA-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-2 (Paperback, 2014)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783319083100
· 쪽수 : 193쪽
· 출판일 : 2014-08-04
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9783319083100
· 쪽수 : 193쪽
· 출판일 : 2014-08-04
목차
Formal methods.- Uses of ada.- Real-time scheduling.- Applications.
