Formal Methods, Informally, How to Write Programs That Work, Cambridge University Press, Carroll Morgan,Programming techniques,Computer programming / software engineering, ,, , United Kingdom, en-GBhttp://www.cambridge.org, [BLURB],[CITY],,books, ebooks, biblet, Book2look