책 이미지
eBook 미리보기
책 정보
· 제목 : Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker (Paperback, 2023)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783031249365
· 쪽수 : 271쪽
· 출판일 : 2024-04-13
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 공학
· ISBN : 9783031249365
· 쪽수 : 271쪽
· 출판일 : 2024-04-13
목차
1. Theories and Algorithms.- 2. Searching and Sorting.- 3. Sets, Relations, and Graphs.- 4. Propositional Logic.- 5. Big Number and Polynomial Arithmetic.- 6. Puzzles and Games.- 7. Concurrent Systems.- 8. Further Topics.- Appendices.- References.- Index.
