Jackson, Daniel
Software abstractions: logic, language and analysis - New Delhi PHI Learning 2009 - 350p
9788120331709
005.1 / JAC/S
Software abstractions: logic, language and analysis - New Delhi PHI Learning 2009 - 350p
9788120331709
005.1 / JAC/S