Proof and System-ReliabilityHelmut Schwichtenberg

Proof and System-Reliability

Helmut Schwichtenberg, Ralf Steinbrüggen · 2012

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2012
Language: English
Publisher: Springer
Editions: 1
ISBN: 9789401004138

Data source: Wikidata

More by Helmut Schwichtenberg

Computer science logicHelmut Schwichtenberg

Computer science logic

Helmut Schwichtenberg · 2000

Logic of ComputationHelmut Schwichtenberg

Logic of Computation

Helmut Schwichtenberg · 1997

Proof and ComputationHelmut Schwichtenberg

Proof and Computation

Helmut Schwichtenberg · 2018

Proofs and Computations (Perspectives in Logic)Helmut Schwichtenberg

Proofs and Computations (Perspectives in Logic)

Helmut Schwichtenberg · 2012

Proofs and ComputationsHelmut Schwichtenberg

Proofs and Computations

Helmut Schwichtenberg · 2012