Computer Aided | Kaicus Deutschland

Computer Aided Verification

53.49 EUR

Ein kompakter Leitfaden aus der CAV‑Konferenz 2015, der neueste Algorithmen zur formalen Verifikation vorstellt und deren Einsatz in komplexen Softwaresystemen erläutert.

Marke: Springer-Verlag GmbH
MPN: 107 black & white illustrations, biograp
ISBN: 3319216678