Deductive Software Verification: Future Perspectives | DealShopping Deutschland
  1. Home
  2. Deductive Software Verification: Future Perspectives
  • #

Deductive Software Verification: Future Perspectives

42.79 EUR

Teilen:
Gesponsert

Deductive Software Verification: Future Perspectives

SpringerLink DE
42.79 EUR
07-06-2026 19:07:35

Ähnliche Produkte

The Consistent Preferences Approach to Deductive Reasoning in Games

The Consistent Preferences Approach to Deductive Reasoning in Games

106.99 EUR
Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

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

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

53.49 EUR
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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

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

32.50 EUR
Deductive Software Verification

Deductive Software Verification - The KeY Book

96.29 EUR