Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

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

Gesponsert Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction

32.50 EUR
Preis aktualisiert am: 04-11-2026 04:28:30
Siehe Produktangebot
Bezeichner
ISBN Benjamin Weiss 3866446233
Abmessungen / Gewicht
Hauptmerkmale
Benjamin Weiss