Formal Methods for Concurrency (Chapman & Hall Computing S.)
by
Clive Fencott
Paperback
details (
United Kingdom
).
ISBN: 978-0-412-43200-2
ISBN-10: 0-412-43200-5
Chap.& H.
· 1994
