Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, May 29-June 2, l989 / edited by J.W. de Bakker, W.P. de Roever and G. Rozenberg
Language: English Series: Lecture notes in computer science ; v.430Publication details: Berlin ; Springer-Verlag ; 1990Edition: Description: x,808 p; 24 cmISBN: 3-540-52559-90Subject(s): | Programming languages (Electronic computers) | Electronic data processing-Distributed processingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.327.8 Ste:89 | Available | C20A08 | 158325 |
Total holds: 0
There are no comments on this title.