NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
In den Proceedings des sechsten internationalen Symposions zu formalen Methoden, das im April 2014 in Houston stattfand, finden Sie aktuelle Forschungsergebnisse, die theoretische Konzepte mit praktischen Anwendungen in der Softwareentwicklung verknüpfen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science)
Medimops DE
07-06-2026 07:40:39
SpringerLink DE
Gesponsert
Galaxus.de
NASA Formal Methods, Fachbücher von Kristin Yvonne Rozier, Julia M. Badger
Galaxus.de
07-06-2026 06:28:45
