Program Verification: Fundamental Issues in Computer Science
Fundamental Issues in Computer Science
R 9 201.00
Takealot ยท checked 2 days ago
- Average
- R 9 937.25
- Lowest seen
- R 9 201.00
- Highest seen
- R 10 389.00
- Last change
- -R 718.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.
