Algebraic specification
Material type:
TextLanguage: English Series: ACM press frontier seriesPublication details: Wokingham Addison-Wesley Pub. 1989Description: xiii,397pSubject(s): DDC classification: - 005.131 B499
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata NBHM Collection | 005.131 B499 (Browse shelf(Opens below)) | Available | 112299 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: NBHM Collection Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 005.10151 B285 Algorithmic complexity | 005.115 H676 Mathematical aspects of logic programming semantics | 005.13 P615 Types and programming languages | 005.131 B499 Algebraic specification | 005.131 G662 Introduction to HOL | 005.131 K93 Temporal logic of programs | 005.131 Sa158 Elements of automata theory |
There are no comments on this title.
Log in to your account to post a comment.
