Rigorous Software Development: An Introduction to Program Verification
Checking for file health...
Author:José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa (auth.)
Language:English
Release year:2011
File size:2.272 MB
Number of page:277
Language:English
Release year:2011
File size:2.272 MB
Number of page:277
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Similar
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
