Wir konnten keine exakten Treffer zu Ihrer Suche nach "Program Verification" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundame…

lieferbar ab 21.2.2025.
Buch
EUR 81,04*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.