Ergebnisse für: HOLCF

Hier findest Du Bücher, die sich mit HOLCF beschäftigen.

Refinements in HOLCF: Implementation of Interactive Systems

Oscar Slotosch
Kovac, Dr. Verlag
75.65 € · Hardcover

Beweissystem Isabelle HOLCF Informatik Korrektheit Quotienten Refinement Subtypen Verfeinerung Verifikation

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezü...

Array
(
    [endpoint] => /products?search=HOLCF&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001346
    [connect_time] => 0.517921
    [responseLength] => 2743
)