Jackson, Daniel
Software abstractions Logic language and analysis - London MIT Press 2012 - 354
9780262017152
Computer software development
681.3.06 JAC
Software abstractions Logic language and analysis - London MIT Press 2012 - 354
9780262017152
Computer software development
681.3.06 JAC