Program Verification: Fundamental Issues in Computer Science
Fundamental Issues in Computer Science
R 9 919.00
Takealot ยท checked 4 days ago
- Average
- R 9 972.44
- Lowest seen
- R 9 656.00
- Highest seen
- R 10 389.00
- Last change
- R 263.00
- First indexed
- 22 Sep 2026
- Retailer
- Takealot
Description
Examines the problem of developing a paradigm appropriate to computer science, taking account of the proponents' and opponents' views about formal methods.
