Rezultati - "Software Verificación"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Program logics for certified compilers. od Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

    Izdano 2014
    Teme: “...Software Verificación 887040...”
    Knjiga