Deductive Software Verification - The KeY Book | DealShopping Deutschland
  1. Home
  2. Deductive Software Verification - The KeY Book
  • #

Deductive Software Verification - The KeY Book

96.29 EUR

Teilen:
Gesponsert

Deductive Software Verification – The KeY Book

SpringerLink DE
96.29 EUR
07-06-2026 03:42:11

Ä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: Future Perspectives

Deductive Software Verification: Future Perspectives

42.79 EUR