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

By: Contributor(s): 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 processing
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books 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.

to post a comment.
Share

Powered by Koha