Buch beschaffen








: Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten…

In den Biblio­theken

recherchieren

Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.