Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
32.50 EUR
Ein umfassendes Buch, das die Verifikation objektorientierter Programme mit dynamischen Rahmen, dynamischer Logik und Prädikatabstraktion erklärt und praktische Anleitungen für sichere Softwareentwicklung bietet.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Hugendubel
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Hugendubel
02-09-2024 20:41:54
Gesponsert
Medimops DE
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Medimops DE
17-04-2025 00:30:20
