The axiomatic basis of computer programming

Author(s)

• Hoare, C. A. R. (Charles Antony Richard)

Bibliographic Information

The axiomatic basis of computer programming

C. A. R. Hoare

In-house reproduction

Rev. ed.

Note

Originally published: [S.l.] : [s.n.] , 1969

Caption title

Details

• NCID: BC12480896
• Country Code: xx
• Title Language Code: eng
• Text Language Code: eng
• Pages/Volumes: 9, [3] leaves