Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. Spezifisch
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: