3 public-domain matches

Modular Proofs

Cover of Specification and verification of object-oriented software components

Specification and verification of object-oriented software components

Andreas Roth

Cover of Investigations representing the departments

Investigations representing the departments

University of Chicago.

Mathematical Problems

Mathematical Problems

David Hilbert