Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Dieses Buch sammelt Beiträge des SBMF 2018 aus Salvador, präsentiert theoretische Grundlagen und praxisnahe Anwendungen formaler Methoden in der Softwareentwicklung, unterstützt durch Fallstudien und detaillierte Analysen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods: Foundations and Applications, Fachbücher von Mohammad Reza Mousavi, Tiago Massoni
Galaxus.de
28-04-2026 22:56:04
