Your Waterstones card is changing, introducing...
TELL ME MORE
Specification of Parallel Algorithms - Series in Discrete Mathematics & Theoretical Computer Science (Hardback)
  • Specification of Parallel Algorithms - Series in Discrete Mathematics & Theoretical Computer Science (Hardback)
zoom

Specification of Parallel Algorithms - Series in Discrete Mathematics & Theoretical Computer Science (Hardback)

£96.95
Hardback 399 Pages / Published: 30/12/1994
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent developments in their areas of expertise. Among the topics discussed were new specification techniques for concurrent and distributed systems, behavioral and operational specification techniques, new parallel language and system abstractions, novel concurrent architectures and systems, large-scale parallel systems, specification tools and environments, and proof techniques for concurrent systems.

Publisher: American Mathematical Society
ISBN: 9780821802533
Number of pages: 399
Weight: 936 g
Dimensions: 267 x 184 mm

You may also be interested in...

Reviews

Please sign in to write a review

Your review has been submitted successfully.