Name: Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Brand: Benjamin Weiss
SKU: ID11870747
Availability: InStock

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

Angebote
Merkmale

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

Medimops DE

32.50 EUR 32.50 EUR

15-04-2025 22:00:47

Access to the deal

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

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

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

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

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Deductive Software Verification The KeY Book

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)