Barroso, Pedro Miguel Laforêt
Formally verified bug-free implementations of (logical) algorithms / Pedro Miguel Laforêt Barroso. - Monte de Caparica : P. M. L. B. , 2019 . - XX, 86 p..
Clicar aqui para aceder a um recurso externo
ISBN
Engenharia informática
LCC QA76
Formally verified bug-free implementations of (logical) algorithms / Pedro Miguel Laforêt Barroso. - Monte de Caparica : P. M. L. B. , 2019 . - XX, 86 p..
Clicar aqui para aceder a um recurso externo
ISBN
Engenharia informática
LCC QA76