Software Engineering and Formal Methods
59.00 EUR 53.49 EUR
9% Off
Ein Sammelwerk aus der 16. SEFM-Konferenz in Toulouse, das neueste Erkenntnisse zu formaler Softwareverifikation, Modellierung und Analyse präsentiert und Forschern sowie Praktikern praxisnahe Ansätze bietet.