Program Logics for Certified Compilers (Q27976187)

From Wikidata
Jump to navigation Jump to search
book by Andrew Appel
edit
Language Label Description Also known as
English
Program Logics for Certified Compilers
book by Andrew Appel

    Statements

    0 references
    2014
    0 references
    Program Logics for Certified Compilers (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    472
    0 references

    Identifiers

    0 references
     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit