An edition of Axiomatising the logic of computer programming (1982)
Axiomatising the logic of computer programming
By Robert Goldblatt
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1982
Publisher
Springer-Verlag
Language
eng
Pages
304
Book Lists