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
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