{"product_id":"stepwise-refinement-of-distributed-systems-jaco-w-de-bakker-9783540525592","title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings","description":"This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jaco W. De Bakker\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540525599\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540525592\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 04\/25\/1990\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 812\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.49lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.63d","brand":"Jaco W. De Bakker","offers":[{"title":"Paperback","offer_id":48486952894719,"sku":"9783540525592","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_320564e2-5a22-404e-972e-8c94a605942e.jpg?v=1778057359","url":"https:\/\/www.whiterainbookhouse.com\/products\/stepwise-refinement-of-distributed-systems-jaco-w-de-bakker-9783540525592","provider":"WR Book House","version":"1.0","type":"link"}