Wolff, Burkhart

Vis mig kun

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Wolff, Burkhart

436,85 DKK

Tests and Proofs

Tests and Proofs

Wolff, Burkhart

436,85 DKK

Tests and Proofs

Tests and Proofs

Wolff, Burkhart

436,85 DKK

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

Wolff, Burkhart

436,85 DKK

Tests and Proofs

Tests and Proofs

Wolff, Burkhart

436,85 DKK