책 이미지
eBook 미리보기
책 정보
· 제목 : Building High Integrity Applications with Spark (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9781107040731
· 쪽수 : 382쪽
· 출판일 : 2015-08-31
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9781107040731
· 쪽수 : 382쪽
· 출판일 : 2015-08-31
목차
1. Introduction and overview; 2. The basic SPARK language; 3. Programming in the large; 4. Dependency contracts; 5. Mathematical background; 6. Proof; 7. Interfacing with SPARK; 8. Software engineering with SPARK; 9. Advanced techniques.
