Browse By Department
Foundations and Trends(r) in Programming Languages: QED at Large: A Survey of Engineering of Formally Verified Software (Paperback)
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been...
$89.52 $80.31 Free Delivery
