Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Name: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Price: 112.01 EUR
Availability: InStock

Produkt-ID: 276460045

Sichere Transaktion

Häufig zusammen gekauft

Beschreibung

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Häufige Fragen

TrustPilot

TrustScore 4.5 | 7.300+ Bewertungen

Khalid Z.

Tolle Erfahrung von der Bestellung bis zur Lieferung. Sehr empfehlenswert!

vor 1 Woche

Daniela G.

Die Produktqualität ist hervorragend. Genau das, was ich für meine Arbeit brauchte.

vor 1 Monat

Sehen Sie sich alle Überprüfungen von TrustPilot an

Kaufen Sie weltweit ein und sparen Sie mit Desertcart

Preis-Leistungs-Verhältnis

Wettbewerbsfähige Preise für eine große Produktpalette

Kaufen Sie weltweit ein

Wir bedienen über 300 Millionen Käufer in mehr als 200 Ländern

Verbesserter Schutz

Vertrauenswürdige Zahlungsoptionen, die bei Käufern weltweit beliebt sind

Kundensicherung

Vertrauenswürdige Zahlungsoptionen, die bei Käufern weltweit beliebt sind.

Desertcart-App

Shoppen Sie unterwegs, jederzeit und überall.

€ 112.01

GERMANYspeichern

Kostenlose Rücksendungen

30 Tagefür PRO-Mitgliedschaftsbenutzer

15 Tageohne Mitgliedschaft