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: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9780821802533
Quantity: 1 available
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 399 pages. 10.50x7.25x1.00 inches. In Stock. Seller Inventory # __0821802534
Quantity: 1 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. Seller Inventory # B9780821802533
Quantity: 1 available
Seller: moluna, Greven, Germany
Condition: New. Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational. Seller Inventory # 2298428163
Quantity: 1 available
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, and parallel language and system abstractions. Editor(s): Blelloch, Guy E.; Chandy, K. Mani; Jagannathan, Suresh. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 399 pages. BIC Classification: PBWH; UM; UYFP. Category: (P) Professional & Vocational. Dimension: 267 x 184. Weight in Grams: 936. . 1995. hardcover. . . . . Books ship from the US and Ireland. Seller Inventory # V9780821802533
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In English. Seller Inventory # ria9780821802533_new
Quantity: 1 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. This book contains topics such as specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, and parallel language and system abstractions. Editor(s): Blelloch, Guy E.; Chandy, K. Mani; Jagannathan, Suresh. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 399 pages. BIC Classification: PBWH; UM; UYFP. Category: (P) Professional & Vocational. Dimension: 267 x 184. Weight in Grams: 936. . 1995. hardcover. . . . . Seller Inventory # V9780821802533
Quantity: 1 available