Vers une démarche de vérification formelle d’architectures logicielles: Architectures logicielles (Omn.Univ.Europ.)

Ein theoretisches Handbuch, das formale Prüfmethoden für Softwarearchitekturen einführt und zeigt, wie mathematische Modelle zur Nachweisführung v ...

Allgemein

Marke
Mohamed Graiet
ISBN
Mohamed Graiet 384178089X

Eigenschaften

Menü