Title: A theory and practice of program development
First published: 1997
Subjects: Development, Computer programming, Computer software, Spezifikationssprache, Softwareentwicklung, Programmatuurtechniek, VDM, Formale Spezifikationstechnik, Formal languages, Software engineering
LC classification: QA76.76.D47 A427 1997