Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer-Verlag GmbH
SKU: ID12151372
Availability: InStock

Tools and Algorithms for the Construction and Analysis of Systems

53.49 EUR

Entdecken Sie in diesem Band neueste Methoden zur formalen Analyse von Softwaresystemen, inklusive innovativer Modellierungswerkzeuge und effizienten Verifikationsalgorithmen aus der TACAS‑2019-Konferenz.

Marke: Springer-Verlag GmbH

ISBN: 3030174646

MPN: 35682953