Tools and Algorithms for the Construction and Analysis of Systems
53.49 EUR
Entdecken Sie in diesem Band innovative Ansätze zur Modellierung, Verifikation und Optimierung von Softwaresystemen, die auf den neuesten Erkenntnissen der TACAS‑2019-Konferenz basieren, inklusive praktischer Werkzeuge und theoretischer Algorithmen für komplexe Analyseaufgaben.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Tools and Algorithms for the Construction and Analysis of Systems
SpringerLink DE
20-05-2026 12:03:38
Gesponsert
Galaxus.de
Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Lijun Zhang, Tomás Vojnar
Galaxus.de
20-05-2026 13:18:56
