Gordon J. Pace · 4 obras en el catálogoObrasMathematics of Discrete Structures for Computer ScienceMathematics of Discrete Structures for Computer ScienceControlled Natural LanguageRRuntime VerificationRuntime Verification