products/sources/formale sprachen/Isabelle/HOL/SPARK/Examples/Sqrt/sqrt/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: SimpleNode.vdmpp   Sprache: Unknown

--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 17:56:54 CET 2010
--

class SimpleNode
    -- Abstract
end SimpleNode

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]