The way of z practical programming with formal methods
Jonathan Jacky
The way of z practical programming with formal methods - - Cambridge University Press 1997 - 350
0-521-55976-6
004.43
The way of z practical programming with formal methods - - Cambridge University Press 1997 - 350
0-521-55976-6
004.43