For Publishers

All
Subject
Title
Author
Publisher
Series Title

Specification and Verification of Concurrent Systems

(

)

Editor:

Rattray, C.
van Rijsbergen, C. J.

Series title:

Workshops in Computing Ser.

ISBN:

978-0-387-19581-0

Publication Date:

Aug 1990

Publisher:

Springer

Book Format:

Hardback

List Price:

USD $59.95

Book Details

Pages:	612
Detailed Subjects:	Computers / Parallel Processing

Related Books

View more

Logic Program Synthesis and Transformation - a book by Clement Tim P.

Z User Workshop, Cambridge, 1994 - a book by Bowen J. P.

Z User Workshop - a book by Nicholls J. E.

Formal Methods in Databases and Software Engineering - a book by Alagar V. S.

Featured Books

View more Featured Books

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.