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

06-11-2026 07:04:50

Access to the deal

-9%

Gesponsert Computer Aided Verification

Hugendubel

106.99 EUR 118.00 EUR

06-11-2026 22:24:45

Access to the deal

Gesponsert Computer Aided Verification

SpringerLink DE

118.00 EUR 118.00 EUR

06-11-2026 06:23:32

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

Ä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

Ähnliche Produkte

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science, Band 575)