На данной странице предаставлены все книги автора «Maria João Frade»
Rigorous Software Development. An Introduction to Program Verification (José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto)