Your search returned 361 results.

Sort
Results
361.
Automatic verification methods for finite state systems ed by J Sifakis by
  • Sifakis, J., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.62 N901.

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