Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE 59.00 EUR
59.00 CHF
29-07-2026 07:16:35
Ein wissenschaftliches Buch, das die Ergebnisse des zweiten TACAS‑Workshops in Passau zusammenfasst; es bietet neue Algorithmen zur Modellierung und Analyse von Softwaresystemen sowie praktische Beispiele für deren Anwendung.
