1. Home
  2. Medien
  3. Bücher
  4. Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

53.49 EUR

Ein kompakter Sammelband der VMCAI‑Konferenz von 2008 in San Francisco, der aktuelle Forschung zu Modellprüfung und abstrakter Interpretation zusammenfasst; theoretische Durchbrüche, praktische Anwendungen und interdisziplinäre Perspektiven für die Softwareverifikation.

Teilen:
Gesponsert

Verification, Model Checking, and Abstract Interpretation

SpringerLink DE
53.49 EUR
22-04-2026 09:19:10

Ähnliche Produkte

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

53.49 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

85.59 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

53.49 EUR
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53.49 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

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

Verification Model Checking and Abstract Interpretation

53.49 EUR