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
1-1 of 1 Editions
Axiomatising the logic of computer programming
Language: eng
Pages: 304
Published In: 1982
Publisher: Springer-Verlag