X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
zurück zur Trefferliste
  • 1
    Online-Ressource
    Online-Ressource
    Specification and verification of object-oriented software components / (2006)
    [Place of publication not identified] :KIT Scientific Publishing,
    Details
    UID:
    edoccha_9961125593602883
    Umfang: 1 online resource (268 pages)
    Inhalt: This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
    Weitere Ausg.: ISBN 1000004542
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Charité
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz