Ask the Bookseller a Question

Questions before ordering? Use this form to request more information from World of Books Ltd About Software Abstractions – Logic, Language, and Analysis (OIP).