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: 15-04-2025 22:00:47
Siehe Produktangebot
Bezeichner
ISBN Benjamin Weiss 3866446233
Abmessungen / Gewicht
Hauptmerkmale
Benjamin Weiss