Program development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,..

Hoffman, Berthold.

Program development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,.. - Berlin S-V 1993 - xiv, 623p - Lecture Notes in Computer Science .

354056733X

005.1 / N9316

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832