Reviews
Description
Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.22:39:59
The discount code is valid when purchasing from 10 €. Discounts do not stack.
Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
Reviews