Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver and Carroll Morgan by Series: Lecture Notes in Compuer Science
Material type: Text Text
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 .

Place hold
2.
Principles of model checking / Christel Baier ; Joost-Pieter Katoen ; edited by Kim Guldstrand Larsen by
Publication details: Cambridge, London : MIT Press, 2008
Availability: Items available for loan: JRD Tata Memorial Library (2)Call number: 004.24 BAI, ...

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