Tools and Algorithms for the Construction and Analysis of Systems | DealShopping Deutschland

Tools and Algorithms for the Construction and Analysis of Systems

66.68 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: