Vers une démarche de vérification formelle d’architectures logicielles: Architectures logicielles (Omn.Univ.Europ.)
69.00 EUR
Ein praxisorientiertes Werk über formale Verifikation von Softwarearchitekturen, das fortgeschrittene Modellierungswerkzeuge und theoremprufende Techniken kombiniert, um Architektureigenschaften systematisch zu beweisen und die Zuverlässigkeit komplexer Systeme nachhaltig zu erhöhen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Vers une démarche de vérification formelle d'architectures logicielles, Fachbücher von Mohamed Graiet
Galaxus.de
12-05-2026 16:58:29
Ähnliche Produkte
Vers Une Architecture
9.84 EUR
