Logics of programms and their applications
A Salwicki
Logics of programms and their applications - - Springer-Verlag 1983 - 324
3-540-11981-7
004
Logics of programms and their applications - - Springer-Verlag 1983 - 324
3-540-11981-7
004