search for books and compare prices
Axiomatising the Logic of Computer Programming
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Iris Compiet (other contributor), Marlise Achterberg |
from Springer Verlag (March 1, 1982)