Papers from the May 1994 workshop on specification techniques for concurrent systems. Topics include techniques for distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, and the impact of specification techniques on compilation and runtime performance. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 399 pages. 10.50x7.25x1.00 inches. In Stock. Seller Inventory # __0821802534
Quantity: 2 available