Partager
Dernière mise à jour : 2026-06-05T03:51:13.556Z
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation - Stephan Kleuker - Vieweg+Teubner Verlag | SuperScan