Interactive Theorem Proving and Program Development Coq'Art (True PDF)


Interactive Theorem Proving and Program Development Coq'Art (True PDF)
Category:
 eBooks
Date:
02/10/20 at 7:22pm GMT+1
Submitter:
Unknown
Seeders:
0
Leechers:
1
File size:
34 MB in 1 file

Torrent Status:
  This torrent has been verified.

Infohash:
a08ee6d52e49c7a1c62a79e02afecb465c31ba87


File list

  • Interactive Theorem Proving and Program Development Coq'Art (True PDF)
  • icon [ FreeCourseWeb.com ] Interactive Theorem Proving and Program Development Coq'Art (True PDF).zip 34.1 MB

No Similar Torrents Found

If we find similar torrents, we normally show them right here. We couldn't find anything for "Interactive Theorem Proving and Program Development Coq'Art True PDF".