000 00290nam a2200109Ia 4500
008 230302s9999 xx 000 0 und d
082 _a621.392JAC
100 _aJACVSON (DANIEL)
245 _aSoftware Abstractions Logic Languages and Analysis
260 _aN.DELHI
_b PHI
365 _cRS
999 _c152271
_d152271