Rewriting techniques and applications proceedings
Material type:
TextLanguage: English Series: Lecture notes in computer science; v 1232Publication details: Berlin Springer-Verlag 1997Description: xi,338pSubject(s): DDC classification: - 5.1 In61
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 5.1 In61 (Browse shelf(Opens below)) | Available | 118274 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
|
|
|
No cover image available |
|
|
|
||
| 5.1 In61 CONCUR'97 : concurrency theory | 5.1 In61 Algorithms and data structures | 5.1 In61 Algorithms and computation | 5.1 In61 Rewriting techniques and applications | 5.1 In61 Algebraic methodology and software technology | 5.1 In61 Mathematics of program construction | 5.1 In61 Transformation-based reactive systems development |
There are no comments on this title.
Log in to your account to post a comment.
