Výsledky vyhledávání - "Programming Language Theory and its Implementation"

  • Zobrazuji výsledky 1 - 3 z 3
Upřesnit hledání
  1. 1

    Specification and Verification I

    Autoři: Mike Gordon The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Mike Gordon The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf.

    Témata: 1 M.J.C. Gordon, Programming Language Theory and its Implementation

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.1250; http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.1250
    http://www.cl.cam.ac.uk/teaching/mjcg/Lectures/SpecVer1/Notes/Notes.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Specification and Verification I

    Autoři: Mike Gordon The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Mike Gordon The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf.

    Témata: 1 M.J.C. Gordon, Programming Language Theory and its Implementation

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.3040; http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.3040
    http://www.cl.cam.ac.uk/Teaching/mjcg/Lectures/SpecVer1/Notes03/Notes.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Specification and Verification I

    Autoři: Mike Gordon The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Mike Gordon The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf.

    Témata: 1 M.J.C. Gordon, Programming Language Theory and its Implementation

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8006; http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8006
    http://www.cl.cam.ac.uk/~mjcg/Teaching/SpecVer1/Notes/Notes.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: