책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Specification and Design (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521435925
· 쪽수 : 352쪽
· 출판일 : 2005-11-10
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521435925
· 쪽수 : 352쪽
· 출판일 : 2005-11-10
목차
Part I. Algebraic Specification: 1. Introducing the basic concepts; 2. Setting up algebraic specifications; 3. Structuring algebraic specifications; 4. Implementing algebraic specifications; Part II. State-Based Specification: 5. From algebras to states; 6. Setting up state-based specification; 7. Structuring state-based specification; 8. Implementing state-based specification; Part III. Advanced Techniques: 9. Theoretical topics; 10. Additional language constructs; 11. Towards large systems; Bibliography; Appendices; Index.
