Jackson, Daniel .

Software abstractions: logic, language and analysis / by Daniel Jackson. - New Delhi : PHI Learning Private Ltd. , 2006 - 350p :

978-81-203-3170-9


Computer- Software abstractions

BV / P6;4
Visitors