Deductive Software Verification ¿ The KeY Book

Wo zu kaufen (3) Eigenschaften

Gesponsert

Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)

Medimops DE

115.64 EUR

Preis aktualisiert am: 06-11-2026 07:15:27

Siehe Produktangebot

Gesponsert

Deductive Software Verification - The KeY Book

Hugendubel

128.49 EUR

Preis aktualisiert am: 07-11-2026 12:01:39

Siehe Produktangebot

Gesponsert

Deductive Software Verification – The KeY Book

SpringerLink DE

142.00 EUR

Preis aktualisiert am: 06-11-2026 06:28:43

Siehe Produktangebot

Allgemein

Marke

Springer

Eigenschaften

Ähnliche Produkte

The Consistent Preferences Approach to Deductive Reasoning in Games (Theory and Decision Library C, Band 37)

The Consistent Preferences Approach to Deductive Reasoning in Games (Theory and Decision Library C, Band 37)

Aus101.84 EUR 4

Produkt anzeigen

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Aus123.04 EUR 3

Produkt anzeigen

System der deductiven und inductiven Logik

System der deductiven und inductiven Logik

Aus26.90 EUR 3

Produkt anzeigen

System der deductiven und inductiven Logik: in zwei Teilen: Eine Darlegung der Prinzipien wissenschaftlicher Forschung, insbesondere der Naturforschung

System der deductiven und inductiven Logik: in zwei Teilen: Eine Darlegung der Prinzipien wissenschaftlicher Forschung, insbesondere der Naturforschung

Aus38.90 EUR 2

Produkt anzeigen

The Deductive Spreadsheet (Cognitive Technologies)

The Deductive Spreadsheet (Cognitive Technologies)

Aus48.98 EUR 2

Produkt anzeigen

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

Aus32.50 EUR 1

Produkt anzeigen