Computer Aided Verification

105.94 EUR 1% Off 106.99 EUR

Ein Fachbuch aus der 26. CAV-Konferenz in Wien, das fortschrittliche Techniken der formalen Verifikation von Softwaresystemen beleuchtet und praxisnahe Beispiele für Entwickler liefert.

Marke: Armin Biere
MPN: 205 black & white illustrations, biograp
ISBN: 3319088661