There are no comments on this title.
JACVSON (DANIEL), .Software Abstractions Logic Languages and Analysis. N.DELHI: PHI.
JACVSON (DANIEL), .N.DELHI: PHI. .