Yves Bertot
partilhar
bibliografia
ordenação
Data Edição
Ranking
-
Interactive Theorem Proving And Program DevelopmenteBookSpringer Berlin Heidelberg03-20130,00€