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

Computer Aided Verification

105.94 EUR 10% Off 118.00 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

-10%

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 118.00 EUR

18-09-2026 13:26:40

Access to the deal

-9%

Gesponsert Computer Aided Verification

Hugendubel

106.99 EUR 118.00 EUR

15-09-2026 21:21:01

Access to the deal

-9%

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

Galaxus.de

106.99 EUR 118.00 EUR

17-09-2026 19:25:41

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

118.00 EUR 118.00 EUR

18-09-2026 18:10:24

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

Gesponsert Computer Aided Verification

Ä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

Gesponsert Computer Aided Verification

Ä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