Charles Rattray: Specification and Verification of Concurrent Systems
____________________________
Author: Charles Rattray
Number of Pages: 612 pages
Published Date: 23 Jul 1990
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540195818
Download Link: Click Here
____________________________