Search Results - "Software Verificación"

Suggested Topics within your search.
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

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

    Published 2014
    Subjects: “…Software Verificación 887040…”
    Book

    Save to List
    Saved in:

Search Tools: