Program Proofs (leino)
Program Proofs eBooks & eLearning
Posted by arundhati at June 19, 2024
K. Rustan M. Leino, "Program Proofs"
English | ISBN: 026254623X | 2023 | 496 pages | PDF | 24 MB
English | ISBN: 026254623X | 2023 | 496 pages | PDF | 24 MB
Program Proofs (The MIT Press) eBooks & eLearning
Posted by yoyoloit at March 26, 2023
Program Proofs
by K. Rustan M. Leino;
English | 2023 | ISBN: 026254623X | 496 pages | True EPUB | 7.92 MB
by K. Rustan M. Leino;
English | 2023 | ISBN: 026254623X | 496 pages | True EPUB | 7.92 MB