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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 399 pages. 10.50x7.25x1.00 inches. In Stock. Artikel-Nr. __0821802534
Anzahl: 2 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: 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. Artikel-Nr. V9780821802533
Anzahl: 1 verfügbar