ISBN 3540195815 books & textbook

Specification and Verification of Concurrent Systems (Workshops in Computing)

Rattray, Charles

Springer /1990-07-23 Paperback / 620 Pages
isbn-10: 3540195815 / isbn-13: 9783540195818