Deductive Software Verification – The KeY Book: From Theory to Practice | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Deductive Software Verification – The KeY Book: From Theory to Practice
  • #
  • #

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

128.39 EUR 115.64 EUR 10% Off

Teilen:

Ä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: 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
The Deductive Spreadsheet (Cognitive Technologies)

The Deductive Spreadsheet (Cognitive Technologies)

48.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
Hybrid Models for Coupling Deductive and Inductive Reasoning

Hybrid Models for Coupling Deductive and Inductive Reasoning

69.54 EUR