Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Systems and software verification Model-Checking Techniques and Tools by B Berard, et al by
  • Berard, B
  • Bidoit, M
  • Finkel, A
  • Laroussinie, F
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P015;1.

Place hold
2.
Systems and software verification Model-Checking Techniques and Tools by B Berard, et al by
  • Berard, B
  • Bidoit, M
  • Finkel, A
  • Laroussinie, F
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P015 "R(T)".

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

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

Powered by Koha