Formal systems specification the RPC-memory specification case study ed. by Manfred Broy, Stephan Merz and Katharina Spies
Material type: BookSeries: Lecture Notes in computer science ; V.1169Publication details: New York Springer-Verlag 1996Description: xxiii, 540pISBN:- 3540619844
- 005.2 N9615
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | LNCS 1169 | 005.2 N9615 (Browse shelf(Opens below)) | Available | 159595 |
There are no comments on this title.