Formal Methods: Foundations and Applications
Ein kompakter Leitfaden aus dem SBMF 2017, der die neuesten Erkenntnisse zu formalen Methoden präsentiert, von theoretischen Grundlagen bis zu konkreten Anwendungsfällen in Softwareentwicklung und Verifikation.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods: Foundations and Applications, Fachbücher von José Fiadeiro, Simone Cavalheiro
Galaxus.de
17-06-2026 03:26:56
