1. Home
  2. Medien
  3. Bücher
  4. Proof and System-Reliability
  • #
  • #

Proof and System-Reliability

53.49 EUR

Teilen:
Gesponsert

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

Medimops DE
53.49 EUR
22-04-2026 17:28:52
Gesponsert

Proof and System-Reliability

SpringerLink DE
53.49 EUR
22-04-2026 21:43:41

Ähnliche Produkte

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

160.49 EUR
Hybrid Logic and Its Proof-Theory

Hybrid Logic and Its Proof-Theory

106.99 EUR
The Semantics And Proof Theory Of The Logic Of Bunched Implications

The Semantics And Proof Theory Of The Logic Of Bunched Implications

160.49 EUR
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

37.40 EUR
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)

Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212, Band 212)

42.75 EUR

Goldreich, Oded: Probabilistic Proof Systems

85.10 EUR
Extending resource-aware logics: Proof systems, semantics and applications

Extending resource-aware logics: Proof systems, semantics and applications

79.00 EUR

Abstraction, Refinement and Proof for Probabilistic Systems

151.59 EUR