Verification Model Checking and Abstract Interpretation | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verification Model Checking and Abstract Interpretation
  • #
  • #

Verification Model Checking and Abstract Interpretation

54.99 EUR 53.49 EUR 3% Off

Ein Fachbuch aus der VMCAI‑Konferenz in Paris, das aktuelle Forschungsergebnisse zu formaler Verifikation, Modellprüfung und abstrakter Interpretation zusammenfasst; wertvoll für Studierende und Forscher gleichermaßen.

Teilen:
Gesponsert

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux

Galaxus.de
53.49 EUR
26-07-2026 05:04:03
Gesponsert

Verification, Model Checking, and Abstract Interpretation

SpringerLink DE
54.99 EUR
25-07-2026 20:42:04

Ähnliche Produkte

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science, Band 2937)

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... Notes in Computer Science, Band 2937)

53.49 EUR
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53.49 EUR
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Notes in Computer Science, Band 11388)

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Notes in Computer Science, Band 11388)

53.49 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

54.99 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

54.99 EUR
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

54.99 EUR