Search Results - "Verifikation"

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

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

    Published 2016
    Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 2
    Cover Image

    Guaranteed Verification of Dynamic Systems by Schwab, Stefan

    Published 2022
    Subjects: “…Verifikation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Guaranteed Verification of Dynamic Systems by Schwab, Stefan

    Published 2022
    Subjects: “…Verifikation…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: