Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)
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
Medimops DE
Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)
Medimops DE
29-03-2025 18:10:53
Gesponsert
Galaxus.de
Formalisation d'un procédé de développement logiciel basé modèle, Fachbücher
Galaxus.de
03-08-2026 08:56:40
