Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag GmbH
SKU: ID12513645
Availability: InStock

Verification, Model Checking, and Abstract Interpretation

53.49 EUR 9% Off 59.00 EUR

Der Band präsentiert die neuesten Forschungsergebnisse aus der VMCAI 2019‑Konferenz, beleuchtet innovative Techniken der formalen Verifikation und abstrakten Interpretation und erweitert das theoretische Fundament der Informatik.

Marke: Springer-Verlag GmbH

ISBN: 3030112446

MPN: 35014535

Angebote
Merkmale

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

-9%

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea

Galaxus.de

53.49 EUR 59.00 EUR

29-07-2026 02:32:39

Access to the deal

Gesponsert Verification, Model Checking, and Abstract Interpretation

SpringerLink DE

59.00 EUR 59.00 EUR

29-07-2026 07:18:44

Access to the deal

Verification, Model Checking, and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea

Gesponsert Verification, Model Checking, and Abstract Interpretation

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Verification, Model Checking, and Abstract Interpretation

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ruzica Piskac, Constantin Enea

Gesponsert Verification, Model Checking, and Abstract Interpretation

Ähnliche Produkte

Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation