NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
53.49 EUR
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
Galaxus.de
NASA Formal Methods, Fachbücher von Kristin Yvonne Rozier, Julia M. Badger
Galaxus.de
29-06-2026 10:43:30
