Software Abstractions Logic Languages and Analysis
Jacvson (Daniel)
Software Abstractions Logic Languages and Analysis - 1st - New Delhi PHI - xiv 350 p
621.392 JAC
Software Abstractions Logic Languages and Analysis - 1st - New Delhi PHI - xiv 350 p
621.392 JAC