> > > > boro-sitnikovski

We hebben 2 boeken gevonden van de auteur Boro Sitnikovski


Hieronder vindt u een lijst met alle gevonden boeken van de auteur Boro Sitnikovski.
De meest gevonden boeken zijn Introducing Software Verification With Dafny Language: Proving Program Correctness en Introduction To Dependent Types With Idris.