Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Program development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,.. by
  • Hoffman, Berthold
  • Krieg-Bruckner, Bernd
Series: Lecture Notes in Computer Science
Material type: Text Book
Publication details: Berlin S-V 1993
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.1 N9316.

2.
No cover image available
Program development by specification & trasformation: the prospectra methodology, language family & system /Berthold Hoffman, (...) by
  • Hoffman, Berthold
Series: Lecture Notes in Computer Science-680
Material type: Text Book
Publication details: Berlin S-V 1993
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.1 N9316;1.

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