Algebraic specification and proof of properties of communicating sequential processes
by C. A. R. Hoare
1985Oxford University·1 editions No users with this book on their shelves. Maybe you could be the first.
No lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Algebraic specification and proof of properties of communicating sequential processes (1985)
Algebraic specification and proof of properties of communicating sequential processes (1985)
Oxford University
Oxford University
Buy on Amazon