Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Specification and transformation of programs a formal approah to software development by Helmut A Partsch by Series: Texts and monographs in computer science
Material type: Text Text
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N902.

2.
Formal program development: IFIP TC2 / WG 2.1 state of the art report /ed. by Bernhard Moller, Helmut Partsch, Steve Schuman by Series: Lecture Notes in Computer Science
Material type: Text Text
Publication details: Berlin S-V 1993
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.1 N9313.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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