Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry, 62, Band 62)

Proof and System-Reliability
Wo zu kaufen (2) Eigenschaften
Gesponsert
Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry, 62, Band 62)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 01:09:11
Siehe Produktangebot
Gesponsert
Proof and System-Reliability
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 08:00:00
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
Produkt anzeigen
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)
Produkt anzeigen
Abstraction Refinement and Proof for Probabilistic Systems
Abstraction Refinement and Proof for Probabilistic Systems
Produkt anzeigen
Hybrid Logic and Its Proof-Theory
Hybrid Logic and Its Proof-Theory
Produkt anzeigen
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Produkt anzeigen
Goldreich, Oded: Probabilistic Proof Systems
Goldreich, Oded: Probabilistic Proof Systems
Produkt anzeigen
Menü