Algebraic specification and proof of properties of communicating sequential processes
We couldn't estimate the reading time for this book.
Author
Contributions
- He, Jifeng. - Contributor
- Oxford University Computing Laboratory. Programming Research Group. - Contributor
Publication
1985 - Oxford University, Oxford, United Kingdom
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Open LibraryOL21090637M
- ISBN-100902928333
- Goodreads5804780
Subjects
Series Statement
- Technical monograph -- PRG-52
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!