Program development by specification and transformation : the PROSPECTRA methodology, language family, and system


Berthold Hoffmann, Bernd Krieg-Brückner (eds.)
Bok Engelsk 1993

Detaljer

Bibliotek som har denne