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: 02-09-2024 20:41:54
Siehe Produktangebot

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

32.50 EUR
Preis aktualisiert am: 17-04-2025 00:30:20
Siehe Produktangebot
Bezeichner
ISBN Benjamin Weiss 3866446233
Abmessungen / Gewicht
Hauptmerkmale
Benjamin Weiss