ISBN 0139510621 books & textbook

Verifiable Programming (Prentice-hall International Series in Computer Science)

Dahl, Ole-Johan

Prentice Hall /1992T Paperback / 280 Pages
isbn-10: 0139510621 / isbn-13: 9780139510625