Reihe Professional and Applied Computing (R0)

 

Rigorous Software Development

An Introduction to Program Verification

José Bacelar Almeida

Springer London

eBook

2025

117,69 €