Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Medimops DE 53.49 EUR
53.49 EUR
16-09-2026 21:54:34
Ein Fachbuch, das die Erkenntnisse des 19. brasilianischen Symposiums über formale Methoden zusammenführt; es beleuchtet neueste Ansätze in Modellierung, Verifikation und Analyse komplexer Softwaresysteme.
