Programming Languages, Build, Prove, and Compare, Cambridge University Press, Norman Ramsey,Computer programming / software development,Computing & information technology, ,, , United Kingdom, en-GBhttp://www.cambridge.org, [BLURB],[CITY],,books, ebooks, biblet, Book2look