Suchergebnisse - "lazy sequential computation"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Proof Systems for Reasoning about Computation Errors von Avron, Arnon, Konikowska, Beata

    ISSN: 0039-3215, 1572-8730
    Veröffentlicht: Dordrecht Springer 01.03.2009
    Veröffentlicht in Studia logica (01.03.2009)
    “… In the paper we examine the use of non-classical truth values for dealing with computation errors in program specification and validation. In that context, …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: