MagnetSearch.NET is a website for searching anything you want :D

Found 3 items for Sitnikovski in 0.001s.

All Books (3)
By Time By Size By Relavance

  • Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf 2.5 MB
  • Sitnikovski B. Introducing Software Verification...Dafny...2022.pdf 2.4 MB
  • Sitnikovski B. Introduction to Dependent Types with Idris...2023.pdf 1.3 MB
  • ....
Files: 3 Total size: 6.2 MB Total requests: 128 Last access time: 9 hours, 22 minutes
  • Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf 2.5 MB
  • ....
Files: 1 Total size: 2.5 MB Total requests: 399 Last access time: 10 hours, 41 minutes
  • Sitnikovski B. Introducing Software Verification...Dafny...2022.pdf 2.4 MB
  • ....
Files: 1 Total size: 2.4 MB Total requests: 166 Last access time: 16 hours, 30 minutes