Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de 53.49 EUR
53.49 EUR
15-09-2026 22:45:44
Der Band sammelt die neuesten Forschungsergebnisse aus der 12. Internationalen Konferenz zum mathematischen Aufbau von Programmen, beleuchtet formale Methoden und verfeinert Techniken zur Softwareverifikation und -optimierung.
