PROGRAM = PROOF

Name: PROGRAM = PROOF
Brand: Independently Published
SKU: f044b86b92abbac617f8876e0ebf6c56

1/1

Prijzen vanaf

31,91

Gesponsorde links

Beschrijving

PROGRAM = PROOF

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 31,91 Gratis verzending

Beschrijving (0)

PROGRAM = PROOF

Merk	Independently Published
EAN	9798615591839

A Survey of Program Proof Technology

Independently Published

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

Proof And Computation Ii: From Theory Univalent Mathematics To Program Extraction Verification

Uitgelichte Keuze

31,91

Naar shop