Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)
49.00 EUR
Dieses Buch führt in die formale Verifikation von modellbasierten Entwicklungsprozessen ein, erklärt die B‑Methode Schritt für Schritt und zeigt anhand konkreter Fallstudien, wie mathematische Modelle zur Gewährleistung von Softwarequalität eingesetzt werden können.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Formalisation d'un procédé de développement logiciel basé modèle, Fachbücher
Galaxus.de
26-04-2026 00:12:06
