Formalisation d'un procédé de développement logiciel basé modèle: Verification formelle par la methode B (Omn.Univ.Europ.)
Ein praxisnahes Werk über formale Verifikation in modellbasierten Softwareentwicklungen, das die B‑Methode anschaulich erklärt und zeigt, wie math ...
Gesponsert
Galaxus.de
49.00 EUR
Preis aktualisiert am: 27-05-2026 07:19:12
Allgemein
Marke
Angel Garcia
ISBN
Angel Garcia 3838180682
