An edition of A theory and practice of program development (1997)
By Derek Andrews
Publish Date
1997
Publisher
Springer
Language
eng
Pages
405
Description:
subjects: Development, Computer programming, Computer software, Spezifikationssprache, Softwareentwicklung, Programmatuurtechniek, VDM, Formale Spezifikationstechnik, Formal languages, Software engineering