Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Algebraic specifications in software engineering by Ivo Van Horebeek and Johan Lewi. by
  • Van Horebeek, Ivo
  • Lewi, Johan
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.101512 N89.1.

2.
Algebraic methodology and software technology (AMAST '93) Proc. .... /ed. by M. Nivat (...) by
  • Nivat, M
  • International Conference on Algebraic Methodology and Software Technology
  • Rattray, C
  • Rus, T
Series: Workshops in Computing
Material type: Text Book
Publication details: London S-V 1994
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.101512 N94.

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