Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Compiling functional languages by Antoni Diller by
Material type: Text Text
Publication details: Chichester John Wiley 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N88.

2.
Z an introduction to formal methods by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Chichester John Wiley & Sons 1994
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.12 N94 (CSA).

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832