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
30-06-2026 05:48:28
In den Aufzeichnungen der dritten Internationalen Konferenz über zertifizierte Programme und Beweise (CPP 2013) aus Melbourne finden Sie tiefgehende Analysen, neue Algorithmen und praxisnahe Fallstudien zur formalen Verifikation von Software, präsentiert von führenden Forschern.
