Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... Notes in Computer Science, Band 1055)
53.49 EUR
Ein Fachwerkzeug für Ingenieure, das die Erkenntnisse des zweiten TACAS‑Workshops in Passau zusammenfasst; es verbindet formale Analysemethoden mit praktischen Anwendungen zur Optimierung von Softwaresystemen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
15-05-2026 16:48:06
