Name: Computer Aided Verification
Brand: Armin Biere
SKU: ID11977553
Availability: InStock

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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)

Medimops DE

105.94 EUR 106.99 EUR

11-06-2026 14:57:42

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

106.99 EUR 106.99 EUR

11-06-2026 23:31:44

Access to the deal

Gesponsert Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere

Galaxus.de

106.99 EUR 106.99 EUR

11-06-2026 11:32:23

Access to the deal

Computer Aided Verification

Gesponsert Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Computer Aided Verification

Gesponsert Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, 8559, Band 8559)

Gesponsert Computer Aided Verification

Gesponsert Computer Aided Verification, Fachbücher von Roderick Bloem, Armin Biere

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science, 12759, Band 12759)

Computer Aided Verification