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.)
Dieses Buch führt in einen neuen, komponentenbasierten Formalismus ein und demonstriert, wie symbolische Ausführung zur effizienten Validierung komp ...
Gesponsert
Galaxus.de
79.00 EUR
Preis aktualisiert am: 13-06-2026 01:54:23
Allgemein
Marke
Céline Bigot
ISBN
Céline Bigot 3838180534
