Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Structure of typed programming languages /David A. Schmidt by Series: Foundations of Computing
Material type: Text Text
Publication details: Cambridge MIT 1994
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N94.

2.
Static analysis - Proceedings ed. by Radhia Cousot and David A Schmidt by Series: Lecture Notes in computer science ; V.1145
Material type: Text Text
Publication details: New York Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N96.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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