All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Verification Model Checking and Abstract Interpretation
product image
product image

Verification Model Checking and Abstract Interpretation

53.49 EUR

Der VMCAI‑2010‑Band aus Madrid liefert einen kompakten Überblick über aktuelle Methoden der formalen Verifikation, Modellprüfung und abstrakten Interpretation, ergänzt durch praxisnahe Anwendungen und theoretische Fortschritte.

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

Gesponsert Verification, Model Checking, and Abstract Interpretation

53.49 EUR 53.49 EUR
23-04-2026 09:14:28
Access to the deal

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Gilles Barthe, Manuel Hermenegildo

53.49 EUR 53.49 EUR
23-04-2026 10:07:05
Access to the deal

Ähnliche Produkte

Verification, Model Checking, and Abstract Interpretation

53.49 EUR
Produkt anzeigen

Verification, Model Checking, and Abstract Interpretation

53.49 EUR
Produkt anzeigen

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

53.49 EUR
Produkt anzeigen

Verification Model Checking and Abstract Interpretation

53.49 EUR
Produkt anzeigen