Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings - Paperback
$108.99
$109.99
-1%Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 108 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz RozenbergSeries:Lecture Notes in Computer SciencePublish date:4/25/1990Pages:812
Languages:EnglishPublisher:SpringerISBN-13:9783540525592ISBN-10:3540525599UPC:9783540525592Book Category:ComputersBook Subcategory:Distributed Systems, Logic Design, ProgrammingBook Topic:Client-Server ComputingSize:9.21 x 6.14 x 1.63 inchesWeight:1.13Product ID:SCX266MWBJ
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.
Languages:EnglishPublisher:SpringerISBN-13:9783540525592ISBN-10:3540525599UPC:9783540525592Book Category:ComputersBook Subcategory:Distributed Systems, Logic Design, ProgrammingBook Topic:Client-Server ComputingSize:9.21 x 6.14 x 1.63 inchesWeight:1.13Product ID:SCX266MWBJ
Publisher: Springer
Edition
1990 Edition
Contributor(s)
Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.