An edition of Formal object-oriented development (1995)
By Kevin Lano
Publish Date
1995
Publisher
Springer-Verlag,Springer
Language
eng
Pages
431
Description:
subjects: Z (Programmiersprache), Formale Spezifikationstechnik, VDM, Software, Objektorientierung, Qualitätssicherung, Object-oriented programming (Computer science)