A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics

Détails bibliographiques
Auteur principal: Hoare, C
Format: Record
Publié: 2015