An Introduction to Discrete Mathematics, Formal System Specification, and Z
-
häftad
,
Engelska, 1993