Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal Models of Operating System Kernels [electronic resource] by Iain D Craig by
Material type: Text Text
Publication details: London Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.43 (e-book).

Place hold
2.
Object-Oriented Programming Languages Interpretation [electronic resource] by Iain D Craig by
Material type: Text Text
Publication details: London Springer 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.117 (e-book).

Place hold
3.
Formal Refinement for Operating System Kernels [electronic resource] Iain Craig D by
Material type: Text Text
Publication details: London Springer 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.42 (e-book).

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