Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal techniques in real-time and fault-tolerant systems ed by Mathai Joseph by
  • International symposium, FTRTFT 2000 on formal techniques in Real-Time and Fault-Tolerant systems(6th Pune 2000)
  • Joseph, Mathai, ed
Series: Lecture notes in computer science ; 1926
Material type: Text Book
Publication details: Berlin Springer-Verlag 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.2 P.

Place hold
2.
Formal techniques in real-time and fault-tolerant systems Proceedings ed by Mathai Joseph by
  • International symposium, FTRTFT(6 Pune 2000)
  • Joseph, Mathai., ed
Series: Lecture notes in computer science 1926
Material type: Text Book
Publication details: Berlin Springer 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001.

Place hold
3.
Formal Techniques in Real-Time and Fault-Tolerant Systems (proceedings) ed by Mathai Joseph by
  • International Symposium on FTRFT (6 Pune 2000)
  • Joseph, Mathai., ed
Series: Lecture notes in computer science ; 1926
Material type: Text Book
Publication details: Berlin Springer-Verlag 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001;1.

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