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

32.50 EUR

Ein Leitfaden für die formale Prüfung objektorientierter Programme, der dynamische Rahmen, Logik und Prädikatabstraktion kombiniert, um Fehler frühzeitig zu erkennen und robuste Software sicherzustellen.

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