Fred B. Schneider

Œuvres (2)

Couverture : A logical approach to discrete math

A logical approach to discrete math

1993
Couverture : On concurrent programming

On concurrent programming

1997