Software Abstractions Logic Languages and Analysis

Jacvson (Daniel)

Software Abstractions Logic Languages and Analysis - 1st - New Delhi PHI - xiv 350 p

621.392 JAC

Customized & Implemented by eLibSol