Formal Methods for the Design of Real-Time Systems
53.49 EUR
Ein tiefgehender Leitfaden zur Anwendung formaler Methoden in Echtzeitsystemen, der theoretische Grundlagen mit praxisnahen Fallstudien aus Computer‑ und Kommunikationsdesign verknüpft und so die Entwicklung robuster Softwarelösungen unterstützt.