Book icon

Book

Procedures and Parameters: An Axiomatic Approach

Actions


Authors


C.A.R. Hoare More by this author

Contributors

Role:
Editor
Pages:
102-116
Publication date:
1971
URN:
uuid:8560d2a8-ab20-450f-bfe3-6c2ec5899752
Local pid:
cs:8207

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP