Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. Spezifisch

Ø 0.0
0 Bewertungen
120,71 €

Specification and Verification. - Deductively Verified Program Models for Software Model Checking. - Contract-LIB: A Proposal for a Common Interchange Format for Software Systems Specification. - Adventures in FRET and Specification.

Jetzt bei Ebay: