Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

ISBN
9783540525592
$179.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1990
  • xii, 812
  • Yes
  • 430
  • QA75.5-76.95