Name: Une proposition de formalisme orienté composant: Application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants (Omn.Univ.Europ.)
Brand: Céline Bigot
SKU: ID12607840
Availability: InStock

Une proposition de formalisme orienté composant: Application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants (Omn.Univ.Europ.)

79.00 EUR

Ein innovatives Werk, das einen komponentenorientierten Formalismus präsentiert und symbolische Ausführung einsetzt, um die Korrektheit komplexer Softwaresysteme präzise zu prüfen.