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