Functional programming,concurrency,simulation and automated reasoning
Material type:
TextLanguage: English Series: Lecture notes in computer science, 693Publication details: Berlin Springer Verlag 1993Description: xi,398pISBN: - 3-540-56883-2
- 005.114 L372
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.114 L372 (Browse shelf(Opens below)) | Available | 113221 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.113 Y81 Managing the structered techniques | 005.114 D221 Functional programming and its applications : an advanced course | 005.114 G662 Functional programming and input/output | 005.114 L372 Functional programming,concurrency,simulation and automated reasoning | 005.114 T468 Miranda : the Craft of functional programming | 005.115 Al386 Reasoning with logic programming | 005.115 B466 Constraint logic programming : selected research |
There are no comments on this title.
Log in to your account to post a comment.
