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
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