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
21-04-2026 20:56:31

Ähnliche Produkte

Deductive Software Verification

Deductive Software Verification - The KeY Book

96.29 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)

49.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 – The KeY Book: From Theory to Practice

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

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

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

109.98 EUR
The Consistent Preferences Approach to Deductive Reasoning in Games

The Consistent Preferences Approach to Deductive Reasoning in Games

106.99 EUR
Die Christliche Sittenlehre: Deductive Entwickelung der Gesetze Christlichen Heilslebens im Organismus der Menschheit

Die Christliche Sittenlehre: Deductive Entwickelung der Gesetze Christlichen Heilslebens im Organismus der Menschheit

0.00
Logic: Deductive and Inductive

Logic: Deductive and Inductive

48.45 EUR